Klop J.W. geometric proof of confluence by decreasing diagrams / J.W.Klop,V.van Oostrom,R.de Vrijer, 2000. - 22 p. - Текст : непосредственный.
Bethke I. Completing partial combinatory algebras with unique head-normal forms / I.Bethke,J.W.Klop,R.de Vrijer, 1995. - 12 p. - Текст : непосредственный.