"The Design of Well-Structured and Correct Programs (Monographs in Computer Science)" - читать интересную книгу автора (Suad Alagic, Michael A. Arbib)