This is an interesting paper on failure semantics.