American Psychological Association 6th edition

ANNENKOV, D., MILO, M., NIELSEN, J. B., & SPITTERS, B. (2022). Extracting functional programs from Coq, in Coq. Journal of Functional Programming, 32, 1-60. https://doi.org/10.1017/S0956796822000077

ISO-690 (author-date, English)

ANNENKOV, DANIL, MILO, MIKKEL, NIELSEN, JAKOB BOTSCH und SPITTERS, BAS, 2022. Extracting functional programs from Coq, in Coq. Journal of Functional Programming. 1 Januar 2022. Vol. 32, , p. 1-60. DOI 10.1017/S0956796822000077.

Modern Language Association 9th edition

ANNENKOV, D., M. MILO, J. B. NIELSEN, und B. SPITTERS. „Extracting Functional Programs from Coq, in Coq.“. Journal of Functional Programming, Bd. 32, Januar 2022, S. 1-60, https://doi.org/10.1017/S0956796822000077.

Mohr Siebeck - Recht (Deutsch - Österreich)

ANNENKOV, DANIL/MILO, MIKKEL/NIELSEN, JAKOB BOTSCH/SPITTERS, BAS: Extracting functional programs from Coq, in Coq., Journal of Functional Programming 2022, 1-60.

Emerald - Harvard

ANNENKOV, D., MILO, M., NIELSEN, J.B. und SPITTERS, B. (2022), „Extracting functional programs from Coq, in Coq.“, Journal of Functional Programming, Vol. 32, S. 1-60.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.