On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный.
Eijck D.J.N.van sound and complete calculus for update logic / D.J.N.van Eijck,F.-J. de Vries, 1991. - 20 p. - Текст : непосредственный.