Jens Knoop, Wolf Zimmermann: Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003. Electronic Notes in Theoretical Computer Science 82, Elsevier 2004