Program construction and verification - Backhouse, Roland C. (Englewood Cliffs, New Jersey Prentice-Hall International, 1986)
Keywords: Electronic Digital Computer -- Programming