@Article{ bokowski2001confined,
  author = 	 {Boris Bokowski and Jan Vitek},
  title = 	 {Confined Types for Java},
  journal = 	 {Software Practice and Experience},
  year = 	 {2001},
  volume = 	 {31},
  number = 	 {6},
}