Peter Fritzson Adrian Pop David Broman Peter Aronsson Formal Semantics Based Translator Generation and Tool Development in Practice. 256-266 2009 Australian Software Engineering Conference http://dx.doi.org/10.1109/ASWEC.2009.46 conf/aswec/2009 db/conf/aswec/aswec2009.html#FritzsonPBA09