Puppis G. Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / G. Puppis, 2010 r=on-line. - Текст : электронный.