Pirog, M., & Biernacki, D. (2010). A systematic derivation of the STG machine verified in Coq. ACM.
Citazione stile Chigago Style (17a edizione)Pirog, M., e D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
Citatione MLA (9a ed.)Pirog, M., e D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.