Proving programs correct - Anderson R B (N Y John Wiley, 1979)
Keywords: Assembly language; Programming techniques