Meira, Silvio, and Cássio Souza dos Santos.
" SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk." <em>Anais do V Simpósio Brasileiro de Engenharia de Software,
Ouro Preto/MG, 1991</em>. SBC, 1991,  
pp.221-236.