"Taxonomies for the development and verification of digital systems" - читать интересную книгу автора (Brian Bailey, Grant Martin, Thomas Anderson)