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)