Segun, Hurson, Spink, 2001. A Transaction Processing Model for the Mobile Data Access System, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-44743-1_11