Bethke I. Completing partial combinatory algebras with unique head-normal forms / I.Bethke,J.W.Klop,R.de Vrijer, 1995. - 12 p. - Текст : непосредственный.
Ariola Z.M. Bisimilarity in term graph rewriting / Z.M.Ariola,J.W.Klop,D.Plump, 1998. - 22 p. - Текст : непосредственный.
Bethke I. Collapsing partial combinatory algebras / I.Bethke,J.W.Klop, 1995. - Текст : непосредственный.