@inproceedings{DBLP:conf/se/LezuoBK13,
  author    = {Roland Lezuo and
               Gerg{\"o} Barany and
               Andreas Krall},
  title     = {CASM: Implementing an Abstract State Machine based Programming
               Language},
  booktitle = {Software Engineering (Workshops)},
  year      = {2013},
  pages     = {75-90},
  ee        = {http://subs.emis.de/LNI/Proceedings/Proceedings215/article6922.html},
}