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