"Computer Aided Verification, 4 conf., CAV '92" - читать интересную книгу автора (Gregor von Bochmann, David K. Probst)