Anwendung von Spezifikationstechniken auf die Komponente Bediener eines interaktiven Systems - Hoffmann, Hans-Jürgen 1935- (1982)