Programming in the 1990s, 1990. ,
, Text Algorithms, 1994.
A discipline of programming, 1976. ,
A Logical Approach to Discrete Math, 1993. ,
The Science of Programming, 1981. ,
The Correctness-by-Construction Approach to Programming, 2012. ,
Fast string searching, Software -Practice & Experience, vol.21, pp.1221-1248 ,
Taxonomies and Toolkits of Regular Language Algorithms, 1995. ,
A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching, IWOCA, pp.236-248, 2012. ,
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. ,
Using Correctness-by-Construction to Derive Dead-zone Algorithms, Prague Stringology Conference, pp.84-95, 2014. ,
Three Strategies for the Dead-Zone String Matching Algorithm, Prague Stringology Conference, p.117, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01956358