@Article{ccpe01,
  author = 	 {Alessandro Coglio and
                  Allen Goldberg},
  title = 	 {Type Safety in the {JVM}: Some Problems in
                  {Java} 2 {SDK} 1.2 and Proposed Solutions},
  journal = 	 {Concurrency and Computation: Practice and Experience},
  year = 	 {2001},
  volume = 	 {13},
  number = 	 {13},
  pages = 	 {1153--1171},
  month = 	 {November}
}