Bollig B. Formal models of communicating systems : languages, automata, and monadic second-order logic / B. Bollig, 2006 r=on-line. - Текст : электронный.