Sanjay Kumar Madria S. N. Maheshwari B. Chandra Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata. 139-176 2001 37 Data Knowl. Eng. 2 db/journals/dke/dke37.html#MadriaMC01 http://dx.doi.org/10.1016/S0169-023X(01)00005-2