Kalkul komunikujících systémů CCS II. - Prachařová, Helena (Diplomová práce (Mgr.)–Univerzita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1987, 1987)
Vedoucí práce: Tomáš Havlát