APA (7th ed.) Citation

Plotkin, G., Stirling, C. P., & Tofte, M. (2000). Proof, language, and interaction essays in honour of Robin Milner / edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte: Essays in honour of Robin Milner. MIT Press.

Chicago Style (17th ed.) Citation

Plotkin, G., Colin P. Stirling, and Mads Tofte. Proof, Language, and Interaction Essays in Honour of Robin Milner / Edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte: Essays in Honour of Robin Milner. Cambridge, Mass.: MIT Press, 2000.

MLA (9th ed.) Citation

Plotkin, G., et al. Proof, Language, and Interaction Essays in Honour of Robin Milner / Edited by Gordon Plotkin, Colin P. Stirling, and Mads Tofte: Essays in Honour of Robin Milner. MIT Press, 2000.

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