APA-Zitierstil (7. Ausg.)

McCormick, J. W., & Chapin, P. C. (2015). Building high integrity applications with SPARK. Cambridge University Press.

Chicago-Zitierstil (17. Ausg.)

McCormick, John W., und Peter C. Chapin. Building High Integrity Applications with SPARK. New York, NY: Cambridge University Press, 2015.

MLA-Zitierstil (9. Ausg.)

McCormick, John W., und Peter C. Chapin. Building High Integrity Applications with SPARK. Cambridge University Press, 2015.