Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science (2003)

by Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil