@Article{ccpe04,
  author = 	 {Alessandro Coglio},
  title = 	 {Simple Verification Technique for
                  Complex {Java} Bytecode Subroutines},
  journal = 	 {Concurrency and Computation: Practice and Experience},
  year = 	 {2004},
  volume = 	 {16},
  number = 	 {7},
  pages = 	 {647--670},
  month = 	 {June}
}