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