Free iterative theories: a coalgebraic view. submitted (2001)

by J Adamek, S Milius, J Velebil