Reconstructing the Knuth-Morris-Pratt Algorithm
cambium.inria.fr