Tim Harris: Exceptions and side-effects in atomic blocks. Sci. Comput. Program. 58(3): 325-343 (2005)