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