@InProceedings{ftjp01,
  author = 	 {Alessandro Coglio},
  title = 	 {Improving the Official Specification of {Java}
                  Bytecode Verification},
  booktitle = 	 {Proc.\ 3rd {ECOOP} Workshop on
                  Formal Techniques for {Java} Programs},
  year = 	 {2001},
  month = 	 {June}
}