American Psychological Association 6th edition

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 edition

Bove, 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 - Harvard

Bove, 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.