Mikael Pettersson, Peter Fritzson. DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications. In James R. Cordy, Mario Barbacci, editors, ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992. pages 127-136, IEEE, 1992. [doi]