Objects and classes, co-algebraically (1996)

by B Jacobs
Venue:Object-Orientation with Parallelism and Persistence