1. Lecture Notes in Computer Science;H. Bekić,1984
2. Bloom, S.L., Ésik, Z.: Iteration Theories. Springer, Heidelberg (1993)
3. Bloom, S.L., Ésik, Z.: An extension theorem with an application to formal tree series. J. of Automata, Languages and Combinatorics 8, 145–185 (2003)
4. Bozapalidis, S.: Equational elements in additive algebras. Theory of Comput. Sys. 32, 1–33 (1999)
5. de Bakker, J.W., Scott, D.: A theory of programs. IBM Seminar, Vienna (1969)