Meira, S., & 		Santos, C.
(1991).
 SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk.
In <em>Anais do V Simpósio Brasileiro de Engenharia de Software</em>, (pp. 221-236). Porto Alegre: SBC.
doi:10.5753/sbes.1991.24269