Ariola Z.M. Bisimilarity in term graph rewriting / Z.M.Ariola,J.W.Klop,D.Plump, 1998. - 22 p. - Текст : непосредственный.