Ernst-Rüdiger Olderog C. A. R. Hoare Specification-Oriented Semantics for Communicating Processes. 9-66 1986 23 Acta Inf. 1 db/journals/acta/acta23.html#OlderogH86