Title: Zur formalen Beschreibung paralleler Prozesse in Rechenautomaten
First published: 1977