Reasoning About Programs.

Richard J. Waldinger, Karl N. Levitt

Browse the full POPL paper archive.