American Psychological Association 6th edition

Ehrig, H. (Hrsg.). [ca. 1985]. Formal methods and software development [Book]. Gehalten auf der CAAP10, Berlin, West Berlin, West.

ISO-690 (author-date, English)

EHRIG, Hartmut (Hrsg.). [book]. 1985. Berlin: Springer. ISBN 3540151990.

Modern Language Association 9th edition

Ehrig, H., Herausgeber. „Formal methods and software development“. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) : Berlin, March 25 - 29, 1985 / edited by Hartmut Ehrig . , book, Springer, 1985.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

Ehrig, H. (Hrsg.). (1985), „Formal methods and software development“, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) : Berlin, March 25 - 29, 1985 / edited by Hartmut Ehrig ..., gehalten auf der CAAP10, Springer, Berlin.

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