The logical basis for computer programming - Manna, Zohar (Addison-Wesley series in computer science, 1985)