Especificação Formal, Prototipagem e Refinamento Transformacional: Um abordagem para a Engenharia de Software
F. Mário Martins

In Revista de Informática, N. 9, API, Lisboa. June, 1988.