Hennessy M. Algebraic theory of processes / M. Hennessy, 1988. - VI,272 p. p. - Текст : непосредственный.