Plotkin, G., Stirling, C. P., & Tofte, M. (2000). Proof, language, and interaction: Essays in honour of Robin Milner. The MIT Press.
Chicago-Zitierstil (17. Ausg.)Plotkin, Gordon, Colin P. Stirling, und Mads Tofte. Proof, Language, and Interaction: Essays in Honour of Robin Milner. Cambridge, Massachusetts: The MIT Press, 2000.
MLA-Zitierstil (9. Ausg.)Plotkin, Gordon, et al. Proof, Language, and Interaction: Essays in Honour of Robin Milner. The MIT Press, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.