As 3 mais antigas

1

H. Moura. Relatório CNPq 1989/1990, July 1990.

2

H. Moura. Tipos de dados em linguagens funcionais. Master's thesis, Universidade Federal de Pernambuco, Departamento de Informática, September 1989. In Portuguese.

3

Hermano Moura and Silvio Lemos Meira. Especificações executáveis em VDM/Standard ML. Relatório Técnico RT - DI/UFPE 19/88, Universidade Federal de Pernambuco, Departamento de Informática, Recife, Brazil, 1988. In Portuguese.