"Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings " - читать интересную книгу автора (Paolo Enrico Camurati, Hans Eveking)