R. Vilela, A. Simões, E. Bick, and J. Almeida. XATA 2005, Aplicações e Tecnologias Associadas, Departamento de Informática, Universidade do Minho, (Fev. 2005)
J. Almeida, L. Barbosa, F. Neves, and J. Oliveira. 6th International Conference on Algebraic Methods and Software Technology (AMAST'97), page 554--559. Sydney, Australia, Springer Lect. Notes Comp. Sci. (1349), (December 1997)
J. Almeida, L. Barbosa, F. Neves, and J. Oliveira. Proc. II Conf. Latino Americana de Programación Funcional (CLaPF97), page 1343--1358. La Plata, Argentina, (October 1997)