An Expert System for Automatic Codeing of Abstract Data Type Specifications. - H. Eigemeier; Christoph Knabe; Peter Raulefs; K. Tramer (GI Jahrestagung, 1980)