"The logic of programming" - читать интересную книгу автора (Hehner E.C.R.)