A coalgebraic view of infinite trees and iteration (2001)

by P Aczel, J Adámek, J Velebil
Venue:Electronic Notes in Theoretical Computer Science