Sava Krstic John Launchbury Dusko Pavlovic Categories of Processes Enriched in Final Coalgebras. 303-317 2001 conf/fossacs/2001 FoSSaCS http://link.springer.de/link/service/series/0558/bibs/2030/20300303.htm db/conf/fossacs/fossacs2001.html#KrsticLP01