Dusko Pavlovic Peter Pepper Douglas R. Smith Colimits for Concurrent Collectors. 568-597 http://dx.doi.org/10.1007/978-3-540-39910-0_25 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#PavlovicPS03