@inproceedings{chen-odersky:assignment,
  author = 	"Kung Chen and Martin Odersky",
  title = 	"A Type System for a Lambda Calculus with Assignment",
  note = 	"Proc. Theoretical Aspects of Computer Science, Sendai, Japan",
  year = 	"1994",
  note =        {Spinger LNCS},
  month = 	"April"
}