Amilcar Sernadas, and Christina Sernadas. Objects, object types, and object identification (1989)

by Hans-Dieter Ehrich
Venue:Categorical Methods in Computer Science with Aspects from Topology