A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.

Milos Besta Frank A. Stomp A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. 5-17 2005 27 Formal Methods in System Design 1-2 http://dx.doi.org/10.1007/s10703-005-2243-0 db/journals/fmsd/fmsd27.html#BestaS05