Virgínia Cordeiro, Augusto Sampaio, and Silvio Meira. 1994.
 Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos. In <em>Anais do VIII Simpósio Brasileiro de Engenharia de Software</em>, outubro 26, 1994, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 143-158. DOI: <a href="https://doi.org/10.5753/sbes.1994.24465">https://doi.org/10.5753/sbes.1994.24465</a>.