"Computer Aided Verification, 5 conf., CAV '93" - читать интересную книгу автора (Costas Courcoubetis)