@InProceedings{odersky:applying-pi,
  author = 	 "Martin Odersky",
  title = 	 "Applying $\pi$: Towards a Basis for Concurrent
		  Imperative Programming",
  booktitle =	 "Proc. 2nd {ACM} {SIGPLAN} Workshop on State in 
                 Programming Languages",
  year =	 1995,
  month =	 "January"
}