APE an expert system for automatic programming from abstract specifications of data types and algorithms - Bartels, Ulrich; Olthoff, Walter; Raulefs, Peter 1945- (Inst. für Informatik [u.a.], 1981)