@techreport{MuellerNordio07,
 author = {P. M\"uller and M. Nordio},
 title = {Proof-Transforming Compilation of Programs with Abrupt Termination},
 institution = {ETH Zurich},
 year = {2007},
 number = {565}
}