Yu David Liu, Xiaoqi Lu, Scott F. Smith: Coqa: Concurrent Objects with Quantized Atomicity. CC 2008: 260-275