APA (7th ed.) Citation

Luo, Z. (1994). Computation and reasoning: A type theory for computer science. Clarendon Press.

Chicago Style (17th ed.) Citation

Luo, Zhaohui. Computation and Reasoning: A Type Theory for Computer Science. Oxford: Clarendon Press, 1994.

MLA (9th ed.) Citation

Luo, Zhaohui. Computation and Reasoning: A Type Theory for Computer Science. Clarendon Press, 1994.

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