@techreport{JKS13b, author="Jean-Baptiste Jeannin and Dexter Kozen and Alexandra Silva", title="Well-Founded Coalgebras, Revisited", institution="Computing and Information Science, Cornell University", number="{\url{http://hdl.handle.net/1813/33330}}", month="May", year="2013" }