Yin-Fu Huang, Yeh-Hao Chin: An Ordering Based Concurrency Control Protocol and Its Mathematical Behavior. J. Inf. Sci. Eng. 5(1): 73-101 (1989)