Playing with patterns, searching for strings
J.C.S.P. van der Woude · Computing science notes · 1987
The main objective is the design, not the algorithm(s). The problem is only used to illustrate the elegancy and power of program construction by «derivation»: a derivation in two phases of the Knuth-Morris-Pratt pattern search algorithm; a periodicity search algorithm