The Logical Basis for Computer Programming Volume 2: Deductive Systems - Manna, Zohar (1990)