Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный.
simplified proof of Toyama's theorem / J.W.Klop,A.Middeldorp,Y.Toyama,R.C. de Vrijer, 1991. - 9 p. - Текст : непосредственный.