Ariola Z.M. Lambda calculus with explicit recursion / Z. M. Ariola, J. W. Klop, 1996. - 75 p. - Текст : непосредственный.
Ariola Z.M. Equational term graph rewriting / Z.M.Ariola,J.W.Klop, 1995. - 55 p. - Текст : непосредственный.
Ariola Z.M. Bisimilarity in term graph rewriting / Z.M.Ariola,J.W.Klop,D.Plump, 1998. - 22 p. - Текст : непосредственный.