"Computer Aided Verification, 3 conf., CAV '91" - читать интересную книгу автора (Kim G. Larsen, Arne Skou)