"Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings " - читать интересную книгу автора (Mandayam Srivas, Albert Camilleri)