Objects and classes, co-algebraically (1996)

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