1. Aho, A.V., Hoperoft, J.E., and Ullman, J.D. 1983. Data Structures and Algorithms. Addison-Wesley, Reading, MA.
2. Alagić, S., and Arbib, M.A. 1978. The Design of Well-Structured and Correct Programs. Springer-Verlag, New York.
3. Ambler, A.L., Good, D.I., Browne, J.C., Burger, W.F., Cohen, R.M., and Wells, R.E. 1977. Gypsy: a language for specification and implementation of verifiable programs. ACM SIGPLAN Notices 12, 2, 1–10.
4. Brinch Hansen, P. 1973. Operating System Principles. Prentice-Hall, Englewood Cliffs, NJ.
5. Brinch Hansen, P. 1985. Brinch Hansen on Pascal Compilers. Prentice-Hall, Englewood Cliffs, NJ.