Program construction and verification - Backhouse R C (N Y Prentice Hall, 1986)
Keywords: Assembly language; Computer science; Programming techniques