The logic of programming - Hehner, Eric C. R. (Prentice-Hall international series in computer science, 1984)