Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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