@InCollection{formaljava,
  author = 	 {Zhenyu Qian},
  title = 	 {A Formal Specification of {Java\raisebox{.6ex}{\tiny TM}
                  Virtual Machine} Instructions for
                  Objects, Methods and Subroutines},
  booktitle = 	 {Formal Syntax and Semantics of
                  {Java\raisebox{.6ex}{\tiny TM}}},
  pages = 	 {271--312},
  publisher =    {Springer},
  year = 	 {1999},
  editor = 	 {Jim {Alves-Foss}},
  volume = 	 {1523},
  series = 	 {Lecture Notes in Computer Science}
}