Reasoning About Programs (1973)

by R J, K N Levitt