Amos Fiat Haim Kaplan Making data structures confluently persistent. 16-58 2003 48 J. Algorithms 1 http://dx.doi.org/10.1016/S0196-6774(03)00044-0 db/journals/jal/jal48.html#FiatK03