APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. - Ulrich Bartels; Walter G. Olthoff; Peter Raulefs (IJCAI, 1981)

An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. - Ulrich Bartels; Walter G. Olthoff; Peter Raulefs (GWAI, 1981)