Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev: Quantifiability: Correctness of Concurrent Programs in Vector Space. PDP 2021: 94-98