The logic of programming
Hehner, Eric C. R.
Englewood Cliffs London Prentice-Hall
c1984
Bibliography: p342-345. - Includes index
Electronic digital computers