APA (7th ed.) Citation

Wilson, A. (1996). The theory of interacting deductions and its application to operational semantics. University of Edinburgh, Dept. of Computer Science.

Chicago Style (17th ed.) Citation

Wilson, Andrew. The Theory of Interacting Deductions and Its Application to Operational Semantics. Edinburgh: University of Edinburgh, Dept. of Computer Science, 1996.

MLA (9th ed.) Citation

Wilson, Andrew. The Theory of Interacting Deductions and Its Application to Operational Semantics. University of Edinburgh, Dept. of Computer Science, 1996.