Joachim Bauer Thomas Schwab Propositions on Help-Systems. 23-29 1987 29 Angewandte Informatik 1 db/journals/wi/wi29.html#BauerS87