1. R. Anderson, Proving Program Correctness [Russian translation], Mir, Moscow (1982).
2. E. Dijkstra, The Science of Programming [Russian translation], Mir, Moscow (1978).
3. S. Alagic and M. A. Arbib, The Design of Well-Structured and Correct Programs, Springer, Berlin (1978).
4. R. Bird, Programs and Machines, John Wiley, New York (1976).
5. Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York (1974).