Coelho Lopes de Magalhães, Terence, Instituto de Computação/Universidade Federal de Alagoas IC/UFAL, Brazil