@InProceedings{MullerC12,
  author = 	 {Stefan Muller and Stephen Chong},
  title = 	 {Towards a Practical Secure Concurrent Language},
  booktitle =	 {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming Languages, Systems, Languages, and Applications},
  publisher =    {ACM Press},
  address = 	 {New York, NY, USA},
  pages =	 {57--74},
  month = 	 oct,
  year = 	 2012
}