V. Cordeiro, A. Sampaio, and S. Meira.
" Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos", in <em>Proceedings of the 8th Brazilian Symposium on Software Engineering</em>, Curitiba/PR, 1994, pp. 143-158, doi: <a href="https://doi.org/10.5753/sbes.1994.24465">https://doi.org/10.5753/sbes.1994.24465</a>.