Formal approaches to concurrency [working material for the lectures of Wilfried Brauer, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug 6, 1989] - Brauer, Wilfried 1937-2014 (1989)