author : Richard Waldinger

Books

• The Logical Basis for Computer Programming Volume 2: Deductive Systems. 1990, with Zohar Manna