3. ["DML: A Meta-language and System for the Generation of

Practical and Efficient Compilers from Denotational

Specifications", M. Pettersson et al, IEEE Conf Comp Langs,

1992].