1. Iteration monads;Aczel,2001
2. Vector iteration in pointed iterative theories;Bloom;SIAM J. Comput.,1980
3. Iteration Theories;Bloom,1993
4. The equational logic of fixed points;Bloom;Theoret. Comput. Sci.,1997
5. Identities in iterative and rational algebraic theories;Ésik;Comput. Linguistics Comput. Languages,1982