Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service), Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H., & Ulbrich, M. (2016). Deductive Software Verification – The KeY Book: From Theory to Practice. Springer International Publishing : Imprint: Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service), Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, και Mattias Ulbrich. Deductive Software Verification – The KeY Book: From Theory to Practice. Cham: Springer International Publishing : Imprint: Springer, 2016.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service), et al. Deductive Software Verification – The KeY Book: From Theory to Practice. Springer International Publishing : Imprint: Springer, 2016.