1. Lecture Notes in Computer Science;H Bekić,1984
2. de Bakker, J., Scott, D.: A theory of programs. IBM Seminar, Vienna (1969)
3. Grathwohl, N.B.B., Henglein, F., Kozen, D.: Infinitary axiomatization of the equational theory of context-free languages. In: Baelde, D., Carayol, A. (eds.) Fixed Points in Computer Science (FICS 2013). EPTCS, vol. 126, pp. 44–55 (2013)
4. Gunawardena, J. (ed.): Idempotency. Publications of the Newton Institute, Cambridge University Press, Cambridge (1998)
5. Harrison, M.: Introduction to Formal Languages. Addison Wesley, Reading (1978)