Relations as programming language elements (1977)

by T H Merrett
Venue:Information Processing Letters