Martins, R., 		Annarumma, G., 		Carneiro, L., 		Lima, A., 		Molinari No., P., 		la Quintana, E., & 		Stern, R.
1989 out 25.  Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :