@article{CUV:2006, title = "Recursive Coalgebras from Comonads", author = "Venanzio Capretta and Tarmo Uustalu and Varmo Vene", journal = "Information and Computation", volume = 204, issue = 4, note = "Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004", pages = "437--468", year = 2006 }