Semantics of the domain of diagrams (1977)

by John C Reynolds
Venue:Journal of the ACM