Pirog, M., & Biernacki, D. (2010). A systematic derivation of the STG machine verified in Coq. ACM.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Pirog, M., và D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Pirog, M., và D. Biernacki. A Systematic Derivation of the STG Machine Verified in Coq. ACM, 2010.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.