@doctoralThesis{Diehl_1996,
title={Semantics-directed generation of compilers and abstract machines},
author={Diehl, Stephan},
doi={http://dx.doi.org/10.22028/D291-25691},
year={1996}
}