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

Moore, J. S. (1996). Piton: A Mechanically Verified Assembly-Level Language. Springer Netherlands.

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

Moore, J Strother. Piton: A Mechanically Verified Assembly-Level Language. Dordrecht: Springer Netherlands, 1996.

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

Moore, J Strother. Piton: A Mechanically Verified Assembly-Level Language. Springer Netherlands, 1996.