E. Cohen, Programming in the 1990s, 1990.

M. Crochemore and W. Rytter, Text Algorithms, 1994.

E. W. Dijkstra, A discipline of programming, 1976.

D. Gries and F. B. Schneider, A Logical Approach to Discrete Math, 1993.

D. Gries, The Science of Programming, 1981.

D. G. Kourie and B. W. Watson, The Correctness-by-Construction Approach to Programming, 2012.

S. C. Hume and D. Sunday, Fast string searching, Software -Practice & Experience, vol.21, pp.1221-1248

B. W. Watson, Taxonomies and Toolkits of Regular Language Algorithms, 1995.

B. W. Watson, D. G. Kourie, and T. Strauss, A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching, IWOCA, pp.236-248, 2012.

M. Mauch, D. G. Kourie, B. W. Watson, and T. Strauss, Performance assessment of dead-zone single keyword pattern matching, Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, pp.59-68, 2012.

B. W. Watson, L. G. Cleophas, and D. G. Kourie, Using Correctness-by-Construction to Derive Dead-zone Algorithms, Prague Stringology Conference, pp.84-95, 2014.

J. W. Daykin, R. Groult, Y. Guesnet, T. Lecroq, A. Lefebvre et al., Three Strategies for the Dead-Zone String Matching Algorithm, Prague Stringology Conference, p.117, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01956358