Advanced elementary formal systems

Steffen Lange, Gunter Grieser, Klaus P. Jantke. Advanced elementary formal systems. Theoretical Computer Science, 1(298):51-70, 2003. [doi]