APA (7th ed.) Citation

Melham, T. F. (1992). A mechanized theory of the pi-calculus in HOL.

Chicago Style (17th ed.) Citation

Melham, Thomas F. A Mechanized Theory of the Pi-calculus in HOL. Cambridge, 1992.

MLA (9th ed.) Citation

Melham, Thomas F. A Mechanized Theory of the Pi-calculus in HOL. 1992.

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