APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.