1
by Hall, Cordelia, O'Donnell, John
Published 2000
Springer London
..., in applica­ tions including program specification, datastructures,design and analysis of algorithms, database...