Departamento de Informática, Centro de Ciências Exatas e da Natureza, Universidade Federal de Pernambuco (UFPE), Brasil. Período: Março de 1985 a dezembro de 1988.