Matthew Flatt, Robert Bruce Findler: Kill-safe synchronization abstractions. PLDI 2004: 47-58