"Reasoning about Change and Persistence" - читать интересную книгу автора (Pollock John)