Kalkul komunikujících systémů CCS II. - Prachařová, Helena (1987)