specifications, implementations and applications Dale, Nell creator Walker, Henry M. Toronto D. C. Heath 1996 xxiii, 624 p.: Abstract Specification Techniques (Page-1), Analysis of Algorithms (Page-35), Towards More Generality in Algorithm (Page-63), Unstructured Data Types (Page-97), Semi-Structured Data Types (Page-151),Structured Linear Data types (Page-193), Binary Trees (Page-251), Binary Search Trees (Page-313), Multi Way Search Trees (Page-377), Directed Graphs or Digraphs (Page-439), Undirected Graphs and Complexity (Page-491), Generalized Lists (Page-533), Memory Management (Page-581). Nell Dale Abstracts-Computer science 005.74,DAL 0669400009 20221013172539.0