Programming: The Derivation Of Algorithms
Anne Kaldewaij · TU/e Research Portal · 1990
* Predicate Calculus * The Guarded Command Language * Quantifications * General Programming Techniques * Designing Efficient Programs * Searching * Segment Problems * Slope Search * Mixed Problems * Array Manipulations * Sorting * Auxiliary Arrays