Formal aspects of optimistic concurrency control in a multiple version database system
scientific article; zbMATH DE number 3823167