@inproceedings{artho-2015-icfem,
  author = {Cyrille Artho and Klaus Havelund and Rahul Kumar and Yoriyuki Yamagata},
  title = {Domain-Specific Languages with {Scala}},
  booktitle = {Proc.\ 17th Int.\ Conf.\ on Formal Engineering Methods (ICFEM~2015)},
  pages = {1--16},
  year = {2015},
  publisher = {Springer},
  series = {LNCS},
  volume = {9407},
  address = {Paris, France},
}