@TechReport{PittsAM:impccj,
  author =	 {G.M. Bierman and M.J. Parkinson and A.M. Pitts},
  title =	 {An Imperative Core Calculus for Java and Java with
                  Effects},
  institution =	 {University of Cambridge Computer Laboratory},
  year =	 2003,
  number =	 563,
  month =	 apr
}