A transactional object calculus. (2005)

by S Jagannathan, J Vitek, A Welc, A Hosking
Venue:Science of Computer Programming,