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