"Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004" - читать интересную книгу автора (Alan J. Hu, Andrew K. Martin)