@article{jagannathan:transactional-object-calculus:scp:2005,
  author	= {Jagannathan, Suresh and Vitek, Jan and Welc, Adam and Hosking, Antony},
  title		= {A transactional object calculus},
  journal	= {Sci. Comput. Program.},
  volume	= {57},
  number	= {2},
  year		= {2005},
  issn		= {0167-6423},
  pages		= {164--186},
  urlpage	= {http://dx.doi.org/10.1016/j.scico.2005.03.001},
  pdf		= {www.cs.purdue.edu/homes/suresh/papers/scp05.pdf},
  publisher	= {Elsevier North-Holland, Inc.},
}