dans IEEE Conference Record of the 1969 Tenth Annual SymposiumonSwitchingandAutomataTheory, p. 74–81 Kimmo Koskenniemi, Two-level morphology: A general
expressions with squaring requires exponential space, 13th IEEE SymposiumonSwitchingandAutomataTheory, Oct 1972, pp. 125–129. Une démonstration est donnée dans