Rechensystems : Grundlagen der Modellbildung - Jessen, Eike; Valk, Rüdiger (Studienreihe Informatik, 1987)