selected publications journal article Automatic generation of language-based tools. Electronic Notes in Theoretical Computer Science. 83-102. 2002