G. Berry Pierre-Louis Curien Sequential Algorithms on Concrete Data Structures. 265-321 1982 20 Theor. Comput. Sci. db/journals/tcs/tcs20.html#BerryC82