Correctness proofs for systolic algorithms a palindrome recognizer - Weijland, W. P. (1987)