"Essays in Computing Science (Prentice-Hall International Series in Computer Science)" - читать интересную книгу автора (C. A. R. Hoare, C. B. Jones)