Questions regarding syntactic substitutions should be tagged with this.

References:
nlab: substitution

Books:
"Term Rewriting and All That" by Franz Baader and Tobias Nipkow (WorldCat)