data structures, algorithms, specification, verification, performance analysis, binary search trees, sorting,