@article{KleinN-TCS02,
  author={Gerwin Klein and Tobias Nipkow},
  title={Verified Bytecode Verifiers},
  journal={Theoretical Computer Science},
  year="2002",
  pages="583--626",
  volume={298},
  number={3},
  editor={F. Honsell and M. Miculan}
  url={\url{http://www4.in.tum.de/~kleing/papers/tcs02.html}}
}