Bruce W. Watson: Correctness-by-Construction in Stringology. PSC 2012: 1-2