Construction of Application Systems: Some Aspects of Standardization. - Martin Bever; Werner Gaube; Peter C. Lockemann; Heinrich C. Mayr (ECI, 1981)

Method Base System: A Tool for Decision Support. - Martin Bever; Werner Gaube; Peter C. Lockemann; Heinrich C. Mayr (NATO ASI DBM, 1981)

Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties. - Werner Gaube; Heinrich C. Mayr; Peter C. Lockemann (European Conference on Computer Algebra (2), 1985)

Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen. - Werner Gaube; Peter C. Lockemann; Heinrich C. Mayr (Software-Architektur, 1986)