"Reflexive Graphs and Parametric Polymorphism"

E. P. Robinson, Giuseppe Rosolini (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics