Pirog, M., & Biernacki, D. (2010). A systematic derivation of the STG machine verified in Coq. ACM.
Цитирование в стиле Чикаго (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.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.