Pirog, M., & Biernacki, D. (2010). A systematic derivation of the STG machine verified in Coq. ACM.
芝加哥风格引文Pirog, M., 与 D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
MLA引文Pirog, M., 与 D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
警告：这些引文格式不一定是100％准确.