Melham, T. F. (1987). Abstraction mechanisms for hardware verification.
Chicago-Zitierstil (17. Ausg.)Melham, Thomas F. Abstraction Mechanisms for Hardware Verification. Cambridge, 1987.
MLA-Zitierstil (9. Ausg.)Melham, Thomas F. Abstraction Mechanisms for Hardware Verification. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.