On Computing Representatives. - Richard S. Bird; Jesús N. Ravelo (Inf. Process. Lett., 1997)

Relations, graphs and programs. - Jesús N. Ravelo (1998)

Two Graph Algorithms Derived. - Jesús N. Ravelo (Acta Informatica, 1999)