@doctoralThesis{Probst_2002,
title={A demand-driven solver for constraint-based control flow analysis},
author={Probst, Christian W.},
doi={http://dx.doi.org/10.22028/D291-25730},
subtitle={Ein Bedarfs-gesteuerter Löser für Constraint-basierte Kontrollflußanalyse},
year={2002}
}