Voortgezet programmeren

Het belangrijkste onderwerp van het boek is het specificeren en implementeren van datastructuren ten behoeve van het ontwerp van algoritmen. Daarbij wordt aangesloten bij de nieuwe ontwikkelingen op het gebied van abstracte datatypen.
Naast het onderwerp datastructuren komt ook de algoritmiek aan de orde en daarbij met name procedurele abstractie, door middel van het gebruik van procedures en functies en backtracking. Ook wordt aandacht besteed aan efficiëntie.
Bij de algoritmiek staat het gebruik van correctheidsbeschouwing bij het ontwerp van algoritmen centraal. De onderwerpen die bij algoritmiek aan de orde komen, en de daarbij gehanteerde werkwijze, komen terug bij de behandeling van het onderwerp datastructuren.