@inproceedings{HeinzEtAl16, author = {Marcel Heinz and Philipp Helsper and Ralf L\"ammel and Tobias M. Schmidt}, title = "{A DSL for executable `how to' manuals}", booktitle = "{Proc.\ of SAC 2016}", year = {2016}, publisher = "ACM", note = "3 pages" }