The Reliability of Programming Systems. - H. Gerstmann; Hans Diel; W. Witzel (Programming Methodology, 1974)

Abstract Objects as Abstract Data Types. - H. Gerstmann; Alexander Ollongren (Abstract Software Specifications, 1979)