System and environment the philosophers revisited - Dederichs, Frank (Bibliothek der Fak. für Mathematik und Informatik, Technische Univ., 1990)