@inproceedings{FritzsonEtAl:2009,
 author = "Peter Fritzson and Adrian Pop and David Broman and Peter Aronsson",
 title = "{Formal Semantics Based Translator Generation and Tool Development in Practice}",
 booktitle = "Proceedings of ASWEC 2009 Australian Software Engineering Conference",
 year = "2009",
 pages = "256--266",
 publisher = "IEEE Computer Society"
}