@inproceedings{VisserOnward14,
author = {Eelco Visser, Guido Wachsmuth, Andrew Tolmach, Pierre Neron, Vlad Vergu, Augusto Passalaqua and Gabriƫl Konat},
title = {A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs},
booktitle = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SLASH '14, Portland, OR, USA, October 20-24, 2014},
publisher = {ACM},
year = {2014},
editor = {Andrew P. Black and Shriram Krishnamurthi and Bernd Bruegge and Joseph N. Ruskiewicz},
pages = {95-111},
isbn = {978-1-4503-3210-1},
url = {http://doi.acm.org/10.1145/2661136.2661149},
group = {SE}
}