@Article{ccpe03,
  author = 	 {Alessandro Coglio},
  title = 	 {Improving the Official Specification of
                  {Java} Bytecode Verification},
  journal = 	 {Concurrency and Computation: Practice and Experience},
  year = 	 {2003},
  volume = 	 {15},
  number = 	 {2},
  pages = 	 {155--179},
  month = 	 {February}
}