Métodos formais para o desenvolvimento de programas
Paulo S. C. de Alencar e Carlos J. P. de Lucena.
[Ed. preliminar].
Buenos Aires : Kapelusz, [1988]
x, 175 págs. ; 23 cm.
ISBN: 9501398781
"Versão preliminar publicada na IV Escola Brasileiro-Argentina de Informática, Santiago del Estero, Janeiro de 1989".
Incluye referencias bibliográficas.