Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables - Berghammer, Rudolf; Müller-Olm, Markus (Technische Berichte des Instituts für Informatik der CAU Kiel, 2003)