@InProceedings{fuj98,
  author = 	 {Alessandro Coglio and
                  Allen Goldberg and
                  Zhenyu Qian},
  title = 	 {Towards a Provably-Correct Implementation
                  of the {JVM} Bytecode Verifier},
  booktitle = 	 {Proc.\ {OOPSLA'98} Workshop on
                  Formal Underpinnings of {Java}},
  year = 	 {1998},
  month = 	 {October}
}