Strategieverbesserungsalgorithmen für exakte Programmanalysen - Gawlitza, Thomas Martin (Verl. Dr. Hut, 2009)