Honcharova, O. (2009). Static Detection of Parametric Loop Bounds on C Code. Master Thesis, Universität des Saarlandes, Saarbrücken.