S. Glesner, J. Knoop, W. Zimmermann (ed.): "Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007)"; Elsevier, 2007, ISSN: 1571-0661; 160 pages.