Anwendung von Spezifikationstechniken auf die Komponente Bediener eines interaktiven Systems - Hoffmann, Hans-Jürgen 1935- (PU 1, Techn. Hochsch., 1982)
Literaturverz. S. 37 - 41