An illustrative theory of relations, in (1990)

by G D Plotkin
Venue:Stanford University