Random Access to Abstract Data Types (2000)

by M Erwig
Venue:8th Int. Conf. on Algebraic Methodology and Software Technology. LNCS 1816