The Logical Basis for Computer Programming {Volume 1: Deductive Reasoning (1985)

by Z Manna, R Waldinger