Meira, Silvio, AND 		Santos, Cássio.
" SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (23 October 1991)