Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev: Quantifiability: a concurrent correctness condition modeled in vector space. Computing 105(5): 955-978 (2023)