History

for article: Knuth–Morris–Pratt algorithm