Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.
Infinitary lambda calculus / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.-J.de Vries, 1995. - 15 p. - Текст : непосредственный.