@TechReport{MullerC12tr,
  author = 	 {Stefan Muller and Stephen Chong},
  title = 	 {Towards a Practical Secure Concurrent Language},
  institution =  {Harvard University},
  year = 	 2012,
  number = 	 {TR-05-12},
  month = 	 aug
}