American Psychological Association 6th edition

Woodcock, J. C. (Hrsg.). [ca. 1993]. Industrial-strength formal methods : proceedings [Book]. Berlin: Springer.

ISO-690 (author-date, English)

WOODCOCK, James C. (Hrsg.). [book]. 1993. Berlin: Springer. Lecture notes in computer science, 670. ISBN 3540566627.

Modern Language Association 9th edition

Woodcock, J. C., Herausgeber. „Industrial-strength formal methods : proceedings“. Lecture notes in computer science, book, Springer, 1993.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Woodcock, J.C. (Hrsg.). (1993), „Industrial-strength formal methods : proceedings“, Lecture notes in computer science, Springer, Berlin.

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