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(9版)引用形式

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

警告: この引用は必ずしも正確ではありません.