"Verification: Theory and Practice" - читать интересную книгу автора (Nachum Dershowitz)