Manfred Broy Rechnergestützte Systeme für den Programmentwurf. 58-69 1985 conf/wi/1985 Wissensbasierte Systeme db/conf/wi/wi1985.html#Broy85 https://doi.org/10.1007/978-3-642-70840-4_4