Keiichi KANEKO and Masato TAKEICHI, Derivation of a Knuth-Morris-Pratt Algorithm by Fully Lazy Partial Computation, 11pp., August 1992.