@doctoralThesis{Martin_1999,
title={Generating program analyzers},
author={Martin, Florian},
doi={http://dx.doi.org/10.22028/D291-25716},
subtitle={Generierung von Programmanalysatoren},
year={1999}
}