APA (7th ed.) Citation

Melham, T. F. (1993). Higher order logic and hardware verification. Cambridge University Press.

Chicago Style (17th ed.) Citation

Melham, T. F. Higher Order Logic and Hardware Verification. Cambridge ; New York: Cambridge University Press, 1993.

MLA (9th ed.) Citation

Melham, T. F. Higher Order Logic and Hardware Verification. Cambridge University Press, 1993.