"Explicit substitutions in rewriting systems - tutorial and survey" - читать интересную книгу автора (Rose K.H.)