Implementation specifications - Beierle, Christoph 1954- (Universität <Kaiserslautern> / Fachbereich Informatik: Interner Bericht, 1985)