Proving systolic systems correct - Hennessy, Matthew C. (University <Edinburgh>, 1984)