David Lewis: Closure of Classes of Formal Languages under Substitution Operators. Cornell University, USA 1971