A Coalgebraic View of Infinite Trees and Iteration (2001)

by P Aczel, J Adámek, J Velebil
Venue:Proc. Coalgebraic Methods in Computer Science, Elsevier ENTCS 44