Text this: Formalization and automatic derivation of code generators /