A calculus of communicating systems - Milner, Robin (rz1, 1980)