Sequential algorithms on concrete data structures, Theor (1982)

by G Berry, P-L Curien
Venue:Comp. Sci