Cita APA (7th ed.)

Plotkin, G., Stirling, C. P., & Tofte, M. (2000). Proof, language, and interaction: Essays in honour of Robin Milner. The MIT Press.

Cita Chicago (17th ed.)

Plotkin, Gordon, Colin P. Stirling, i Mads Tofte. Proof, Language, and Interaction: Essays in Honour of Robin Milner. Cambridge, Massachusetts: The MIT Press, 2000.

Cita MLA (9th ed.)

Plotkin, Gordon, et al. Proof, Language, and Interaction: Essays in Honour of Robin Milner. The MIT Press, 2000.