Objects and classes, co-algebraically (1996)

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