Frank A. Stomp Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm. 59-78 2003 290 Theor. Comput. Sci. 1 db/journals/tcs/tcs290.html#Stomp03