An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable. - Stephen W. Cook; Bjarne Stroustrup; Scott M. Pike (HASE, 2007)