American Psychological Association 6th edition

Beckert, B. (Hrsg.). [ca. 2007]. Verification of object oriented software : the Ke Y approach [Book]. Berlin: Springer.

ISO-690 (author-date, English)

BECKERT, Bernhard (Hrsg.). [book]. 2007. Berlin: Springer. Lecture notes in computer science, 4334 : Lecture notes in artificial intelligence. ISBN 9783540689775.

Modern Language Association 9th edition

Beckert, B., Herausgeber. „Verification of object oriented software : the Ke Y approach“. AI systems, book, Springer, 2007.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Beckert, B. (Hrsg.). (2007), „Verification of object oriented software : the Ke Y approach“, AI systems, Springer, Berlin.

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