A theory of communicating sequential processes - Roscoe, A; Brookes, S; Hoare, C (1984)