Term rewriting systems - Bezem, M. (Marc), 1956-; Klop, J. W.; Vrijer, Roel de; Terese (Group) (Cambridge : Cambridge University Press, 2003)
Keywords: počítačová věda; výpočetní technika; computer science; computer technology