APE e. Expertensystem zur automat. Programmierung von abstrakten Spezifikationen von Datentypen u. Algorithmen - Bartels, Ulrich; Olthoff, Walter (1981)