Klop J.W. Extended term rewriting systems / J. W. Klop, R. C.de Vrijer, 1991. - 25 p. - Текст : непосредственный.