Ein Programmsystem und Formalismen für das wissensbasierte Programmieren. - Walter A. Zajicek (1988)