Oostrom V.van Weak orthogonality implies confluence:the higher-order case / V.van Oostrom,F.van Raamsdonk, 1995. - 39 p. - Текст : непосредственный.
Klop J.W. geometric proof of confluence by decreasing diagrams / J.W.Klop,V.van Oostrom,R.de Vrijer, 2000. - 22 p. - Текст : непосредственный.
Oostrom V.van Comparing combinatory reduction systems and higher-order rewrite systems / V.van Oostrom,F.van Raamsdonk, 1993. - 30 p. - Текст : непосредственный.
Klop J.W. Combinatory reduction systems:introduction and survey / J.W.Klop,V.van Oostrom,F.van Raamsdonk, 1993. - 26 p. - Текст : непосредственный.