Lingli Zhang, Chandra Krintz: As-if-serial exception handling semantics for Java futures. Sci. Comput. Program. 74(5-6): 314-332 (2009)