Formalisierung von Wissen - ein probates Werkzeug zur Bewältigung komplexer Anforderungen . mathematica didactica , v. 26, n. 2, p. 73–90, 1 Juli2003.