Zur induktiven Programmsynthese im Rahmen der algebraischen Softwarespezifikation - Lange, Steffen (1988)