Meira, Silvio, E 		Santos, Cássio.
" SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (23 outubro 1991)