Cite Them Right 11th edition - Harvard

Chiarabini, L. (2009) Program development by proof transformation [cd]. doi:urn:nbn:de:bvb:19-110644.

Chicago Manual of Style 17th edition (full note)

Chiarabini, Luca. Program development by proof transformation. Cd. https://doi.org/urn:nbn:de:bvb:19-110644.

American Psychological Association 7th edition

Chiarabini, L. (ca. 2009). Program development by proof transformation [Cd]. https://doi.org/urn:nbn:de:bvb:19-110644

Modern Language Association 9th edition

Chiarabini, L. Program development by proof transformation. cd, 2009, https://doi.org/urn:nbn:de:bvb:19-110644.

ISO-690 (author-date, Deutsch)

CHIARABINI, Luca, 2009. Program development by proof transformation

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