Martins, R., 		Annarumma, G., 		Carneiro, L., 		Lima, A., 		Molinari No., P., 		la Quintana, E., & 		Stern, R.
(1989).
 Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN.
In <em>Proceedings of the 3rd Brazilian Symposium on Software Engineering</em>, (pp. 201-213). Porto Alegre: SBC.
doi:10.5753/sbes.1989.25260