Kalkul komunikujících systémů CCS - Mikesková, Monika (1987)
Vedoucí práce: Mojmír Křetínský