A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. - Eelco Visser; Guido Wachsmuth; Andrew P. Tolmach; Pierre Neron; Vlad A. Vergu; Augusto Passalaqua; Gabriël Konat (Onward!, 2014)