@TechReport{BannwartMueller04, author = {F. Y. Bannwart and P. M{\"u}ller}, title = {A Logic for Bytecode}, institution = {ETH Zurich}, year = {2004}, url = {pm.inf.ethz.ch/publications}, number = {469} }