1. de Bakker, J.W. The fixed-point approach in semantics: theory and applications. In: Foundations of Comp. Sci. (J.W.de Bakker, Ed.) pp.3–53, 1975. Mathematical Centre Tracts 63, Amsterdam 1975
2. de Bakker, J.W. and Meertens, L.G.L.T. On the completeness of the inductive assertion method. J. Comp.Syst.Sci., 11 (1975), 323–257
3. Basu, S.K. and Yeh, R.T. Strong verification of programs. IEEE Trans. on Software Eng., SE-1 (1975), 339–345.
4. Bekić, H. Definable operations in general algebras and the theory of automata and flowcharts. unpublished manuscript, IBM Laboratory, Vienna 1969.
5. Blikle, A. Iterative systems; an algebraic approach, Bull. Acad. Polon. des Sci., Ser.sci.math.astronom. et phys., 20 (1971), 51–55