Teses

``Um Mecanismo para Simulação de Processos Paralelos Concorrentes''.
Tese de Mestrado em Ciência da Computação, UFPE, 1981, sob orientação do Prof. Dr. Clylton G. Fernandes.
``On The Efficiency of Applicative Algorithms''.
Ph. D. Thesis, Rutherford College, University of Kent at Canterbury, UK, 1985, sob orientação do Prof. Dr. David Turner.