"Lectures on the logic of computer programming" - читать интересную книгу автора (Zohar Manna)