Analyzing a read-only transaction anomaly under snapshot isolation (01/2016) (johann.schleier-smith.com)