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