Sequential algorithms on concrete data structures (1982)

by G Berry, P-L Curien
Venue:Theoretical Computer Science