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