Akkerman G.J. Term rewriting analysis in process algebra / G. J. Akkerman, J. C.M. Baeten, 1991. - 9 p. - Текст : непосредственный.