"Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)" - читать интересную книгу автора (Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog)