Cite Them Right 11th edition - Harvard

Appel, A.W. (2014) Program logics for certified compilers [cd]. New York, NY: Cambridge Univ. Press. doi:10.1017/CBO9781107256552.

Chicago Manual of Style 17th edition (full note)

Appel, Andrew W. Program logics for certified compilers. Cd. New York, NY: Cambridge Univ. Press, [2014?], New York, NY: Cambridge Univ. Press, [2014?]. https://doi.org/10.1017/CBO9781107256552.

American Psychological Association 7th edition

Appel, A. W. (ca. 2014). Program logics for certified compilers [Cd]. Cambridge Univ. Press. https://doi.org/10.1017/CBO9781107256552

Modern Language Association 9th edition

Appel, A. W. Program logics for certified compilers. cd, Cambridge Univ. Press, 2014, https://doi.org/10.1017/CBO9781107256552.

ISO-690 (author-date, Deutsch)

APPEL, Andrew W., 2014. Program logics for certified compilers. New York, NY: Cambridge Univ. Press. ISBN 9781107048010

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