Objects and classes, co-algebraically. In Object orientation with parallelism and persistence (1996)

by B Jacobs