APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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

Let op: Deze citaties zijn niet altijd 100% accuraat.