On Non-Interference of Transactions - Kuznetsov, Petr; Peri, Sathya (CoRR, 2012)