Objects and Classes, Coalgebraically (1996)

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