Buchi J.R. Finite automata, their algebras and grammars / J.R.B@:uchi, 1989. - XXII, 316 p. 316 p. - Текст : непосредственный.