Logic of programming - Hehner, Eric C R (1991)