From iterative algebras to iterative theories (extended abstract), in (2004)

by J Adámek, S Milius, J Velebil
Venue:Milius (Eds.), Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science, CMCS’04 (Barcelona, March 2004), Electron. Notes in Theoret. Comput. Sci