APA Edition Citation

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

Chicago Edition Citation

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

MLA Edition Citation

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

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