Specification Languages in Algebraic Compilers.

Eric Van Wyk,

Theoretical Computer Science, 231 (3): 351-385, Elsevier, January, 2003.

PDF