"Correct System Design" - читать интересную книгу автора (Ernst-Rüdiger Olderog, Bernhard Steffen)