Rechensystems : Grundlagen der Modellbildung - Jessen, Eike; Valk, Rüdiger (Berlin: Springer-Verlag, Heidelberg ; New York :., 1987)