Bowman H. Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems / H. Bowman, R. Gomez, 2006 r=on-line. - Текст : электронный.