Especificação formal e implementação de um protótipo para a linguagem ParaLog - Ferreira, Simone Nasser Matos (2001)
Orientador: Martin A. Musicante