The string search algorithm by Knuth, Morris and Pratt. - Fabian Hellauer; Peter Lammich (Arch. Formal Proofs, 2017)