Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный.
Report:Computer science / CWI. CS-R8957 : Strong completeness for Hoare logics of recursive processes: an infinitary approach / A.Ponse,F.J.de Vries, 1989. - 36 p. - Текст : непосредственный.
Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный.
Event structures and orthogonal term graph rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 19 p. - Текст : непосредственный.
Comparing curried and uncurried rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 25 p. - Текст : непосредственный.