APA (7th ed.) Citation

Melham, T. F. (1987). Abstraction mechanisms for hardware verification.

Chicago Style (17th ed.) Citation

Melham, Thomas F. Abstraction Mechanisms for Hardware Verification. Cambridge, 1987.

MLA (9th ed.) Citation

Melham, Thomas F. Abstraction Mechanisms for Hardware Verification. 1987.

Warning: These citations may not always be 100% accurate.