Bethke I. Completing partial combinatory algebras with unique head-normal forms / I.Bethke,J.W.Klop,R.de Vrijer, 1995. - 12 p. - Текст : непосредственный.
Bethke I. Collapsing partial combinatory algebras / I.Bethke,J.W.Klop, 1995. - Текст : непосредственный.