The logic of programming - Hehner, Eric C R; Author (1984)