Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.