Michael Timm Qualitative Anforderungen an Problembeschreibungssprachen. 397-403 1983 25 Angewandte Informatik 9 db/journals/wi/wi25.html#Timm83