Mathematical theory of program correctness - Bakker Jaco de (N J Prentice Hall International, 1980)
Keywords: Assembly language; Programme correctness; Programming techniques