“Formalisierung von Wissen - ein probates Werkzeug zur Bewältigung komplexer Anforderungen ” (2003) mathematica didactica, 26(2), pp. 73–90. doi:10.18716/ojs/md/2003.1012.