Bart Jacobs Objects and Classes, Co-Algebraically. 83-103 1995 Object Orientation with Parallelism and Persistence db/conf/dagstuhl/oopp95.html#Jacobs95