Bove, A., & Dybjer, P. (2009). Dependent Types at Work. https://doi.org/10.1007/978-3-642-03153-3_2
ISO-690 (author-date, English)BOVE, Ana und DYBJER, Peter, 2009. Dependent Types at Work.
Modern Language Association 9th editionBove, A., und P. Dybjer. Dependent Types at Work. 2009, https://doi.org/10.1007/978-3-642-03153-3_2.
Mohr Siebeck - Recht (Deutsch - Österreich)Bove, Ana/Dybjer, Peter: Dependent Types at Work., 2009.
Emerald - HarvardBove, A. und Dybjer, P. (2009), Dependent Types at Work., Bd. , verfügbar unter:https://doi.org/10.1007/978-3-642-03153-3_2.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.