"An Introduction to Assertional Reasoning for Concurrent Systems" - читать интересную книгу автора (Shankar A.U.)