APA (7th ed.) Citation

Plotkin, G., Stirling, C. P., Tofte, M., & Milner, R. (2000). Proof, language, and interaction: Essays in honour of Robin Milner. MIT Press. https://doi.org/10.7551/mitpress/5641.001.0001

Chicago Style (17th ed.) Citation

Plotkin, G., Colin P. Stirling, Mads Tofte, and R. Milner. Proof, Language, and Interaction: Essays in Honour of Robin Milner. Cambridge, Mass.: MIT Press, 2000. https://doi.org/10.7551/mitpress/5641.001.0001.

MLA (9th ed.) Citation

Plotkin, G., et al. Proof, Language, and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000. https://doi.org/10.7551/mitpress/5641.001.0001.