Cite Them Right 11th edition - Harvard

Beckert, B., Grahl, D. und Küsters, R. (2012) The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study [cd], Karlsruhe reports in informatics. Karlsruhe: KIT.

Chicago Manual of Style 17th edition (full note)

Beckert, Bernhard, Daniel Grahl, und Ralf Küsters. The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study. Cd. Karlsruhe reports in informatics. Karlsruhe: KIT, [2012?], Karlsruhe: KIT, [2012?].

American Psychological Association 7th edition

Beckert, B., Grahl, D., & Küsters, R. (ca. 2012). The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study [Cd]. In Karlsruhe reports in informatics. KIT.

Modern Language Association 9th edition

Beckert, B., D. Grahl, und R. Küsters. „The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study“. Karlsruhe reports in informatics, cd, KIT, 2012.

ISO-690 (author-date, Deutsch)

BECKERT, Bernhard, Daniel GRAHL und Ralf KÜSTERS, 2012. The Ke Y Approach for the Cryptographic Verification of JAVA Programs : A Case Study. Karlsruhe: KIT

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