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

Pirog, M., & Biernacki, D. (2010). A systematic derivation of the STG machine verified in Coq. ACM.

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

Pirog, M., και D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.

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

Pirog, M., και D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.