On the Correctness of Mixing Lazy and Eager Version Management in Transactions | IEEE Conference Publication | IEEE Xplore