"Algebraic Properties of Idempotent Substitutions."

Catuscia Palamidessi (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics