1. Dijkstra E.W. {1976} A Discipline of Programming Prentice-Hall New Jersey. Dijkstra E.W. {1976} A Discipline of Programming Prentice-Hall New Jersey.
2. An Introduction to Proving the Correctness of Programs
3. Hull T.E. and Bedet R. {1976} Fortran-S User's Guide Department of Computer Science University of Toronto. Hull T.E. and Bedet R. {1976} Fortran-S User's Guide Department of Computer Science University of Toronto.