Meira, S., & 		Santos, C.
1991 out 23.  SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :