Suresh Jagannathan Jan Vitek Adam Welc Antony L. Hosking A transactional object calculus. 164-186 2005 57 Sci. Comput. Program. 2 http://dx.doi.org/10.1016/j.scico.2005.03.001 db/journals/scp/scp57.html#JagannathanVWH05