"Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings " - читать интересную книгу автора (George J. Milne, Laurence Pierre)