Logic of Programming - Hehner E.C.; Hehner E.C.R. (Prentice Hall Of India, 1991)