Sernadas, A.: A Categorical Model of Objects as Observed Processes (1991)

by H-D Ehrich, J A Goguen
Venue:In the proceedings of REX School/Workshop on Foundations of Object-Oriented Languages, LNCS 489