T. Ásványi, “Invariants and String Properties in the Analysis of the Knuth-Morris-Pratt Algorithm”, Acta Cybern, vol. 27, no. 1, pp. 5-14, Mar. 2025.