APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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