The Deductive Foundations of Computer Programming door Zohar Manna & Richard Waldinger