ARPINAR, L. B. Formalization of Workflows and Correctness Issues in the Presence of Concurrency. Distributed and Parallel Databases. 1999, 7, 2, 199-248
BERNSTEIN, P. A. Concurrency Control and Recovery in Database Systems. 1987
GRAY, J. Transaction Processing : Concepts and Techniques. 1994