American Psychological Association 6th edition

Mc Robbie, M. A. (Hrsg.). [ca. 1996]. Automated deduction : proceedings [Book]. Berlin: Springer.

ISO-690 (author-date, English)

MCROBBIE, Michael A. (Hrsg.). [book]. 1996. Berlin: Springer. Lecture notes in computer science, 1104 : Lecture notes in artificial intelligence. ISBN 3540615113.

Modern Language Association 9th edition

Mc Robbie, M. A., Herausgeber. „Automated deduction : proceedings“. Lecture notes in computer science, book, Springer, 1996.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Mc Robbie, M.A. (Hrsg.). (1996), „Automated deduction : proceedings“, Lecture notes in computer science, Springer, Berlin.

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