1. Aho A. V., Hopcroft J.E., Ullman J.D., The Design and Analysis of Computer Algorithms, Addison Wesley, 1982.
2. Beckman F.S., Mathematical Foundations of Programming, Addison Wesley, 1981
3. Bulloff J.J., Holyoke T.C., Hahn S.W., Foundations of Mathematics — Symposium Papers Commemorating the 60 th Birthday of Kurt Gödel, Springer Verlag, 1969.
4. Dahl O.J., Dijkstra E.W., Hoare C.A.R., Structured Programming, Academic Press, 1972.
5. Davis M., Computability and Unsolvability, Dover, 1982.