Theo Härder Observations on optimistic concurrency control schemes. 111-120 1984 9 Inf. Syst. 2 db/journals/is/is9.html#Harder84