"Methods of Programming: Selected Papers on the CIP-Project " - читать интересную книгу автора (Manfred Broy, Martin Wirsing)