@InProceedings{ftjp00,
  author = 	 {Alessandro Coglio and
                  Allen Goldberg},
  title = 	 {Type Safety in the {JVM}: Some Problems in {JDK} 1.2.2
                  and Proposed Solutions},
  booktitle = 	 {Proc.\ 2nd {ECOOP} Workshop on
                  Formal Techniques for {Java} Programs},
  year = 	 {2000},
  month = 	 {June}
}