Sémantiky jazyka CSP - Klimeš, Jiří (1991)