The Logical Basis for Computer Programming: Volume II: Deductive Systems (1990)

by Zohar Manna, Richard Waldinger