Zur formalen Beschreibung paralleler Prozesse in Rechenautomaten - Schröder, Heiko (1977)