BIBEL, Wolfgang (Hrsg.). Berlin: Springer. Lecture Notes in Computer Science, 87. ISBN 3540100091.
Elsevier - Harvard (with titles)Bibel, W. (Hrsg.), 1980. Conference on automated deduction : 5 th conference, Les Arcs, France, July 8-11, 1980, Lecture Notes in Computer Science, Lecture Notes in Computer Science. Springer, Berlin.
American Psychological Association 7th editionConference on automated deduction : 5 th conference, Les Arcs, France, July 8-11, 1980. (ca. 1980). [Book]. In W. Bibel (Hrsg.), Lecture Notes in Computer Science. Springer.
Springer - Basic (author-date)Bibel W (Hrsg.) (1980) Conference on automated deduction : 5 th conference, Les Arcs, France, July 8-11, 1980. Springer, Berlin
Juristische Zitierweise (Stüber) (Deutsch)Bibel, Wolfgang (Hrsg.), Conference on automated deduction : 5 th conference, Les Arcs, France, July 8-11, 1980, Berlin 1980.