J. Knoop, W. Zimmermann (ed.): "COCV'03 - Compiler Optimisation meets Compiler Verification"; Elsevier Computer Science, Electronic Notes in Theoretical Computer Science, 2003, 116 pages.
http://www.sciencedirect.com/science/journal/15710661