Babelsberg/RML : executable semantics and language testing with RML - Felgentreff, Tim (Verfasser); Hirschfeld, Robert (Verfasser); Millstein, Todd (Verfasser); Borning, Alan (Verfasser) (Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam, 2015)