"Computer Aided Verification, 10 conf., CAV '98" - читать интересную книгу автора (Alan J. Hu, Moshe Y. Vardi)