Mc Cormick, J.W. und Chapin, P.C. (2015) Building high integrity applications with SPARK [cd]. Cambridge: Cambridge University Press.
Chicago Manual of Style 17th edition (full note)Mc Cormick, John W., und Peter C. Chapin. Building high integrity applications with SPARK. Cd. Cambridge: Cambridge University Press, [2015?], Cambridge: Cambridge University Press, [2015?].
American Psychological Association 7th editionMc Cormick, J. W., & Chapin, P. C. (ca. 2015). Building high integrity applications with SPARK [Cd]. Cambridge University Press.
Modern Language Association 9th editionMc Cormick, J. W., und P. C. Chapin. Building high integrity applications with SPARK. cd, Cambridge University Press, 2015.
ISO-690 (author-date, Deutsch)MCCORMICK, John W. und Peter C. CHAPIN, 2015. Building high integrity applications with SPARK. Cambridge: Cambridge University Press. ISBN 9781139629294