Amilcar Sernadas. A categorial theory of objects as observed processes (1991)

by Hans-Dieter Ehrich, Joseph Goguen
Venue:Foundations of Object Oriented Languages