Cristian Tapus, Jason Hickey: A Theory of Nested Speculative Execution. COORDINATION 2007: 151-170