Luc Moreau, Daniel Ribbens: The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects. PSLS 1995: 53-77