Gerhard Goos Programmiermethoden der künstlichen Intelligenz in der Software-Technik. 73-84 1984 conf/gacm/1984 Programmierumgebungen und Compiler db/conf/gacm/gacm1984.html#Goos84