Taxonomies for the Development and Verification of Digital Systems door Grant Martin, Brian Bailey & Thomas Anderson