@TechReport{bauer+:jmstr,
  author = 	 {Lujo Bauer and Andrew W. Appel and Edward W. Felten},
  title = 	 {Mechanisms for Secure Modular Programming in {J}ava},
  institution =  {Princeton University},
  year = 	 {1999},
  number = 	 {TR-603-99},
  month = 	 Jul,
  url =          {http://www.ece.cmu.edu/~lbauer/papers/jmstr.pdf}
}