Verifying an infinite systolic algorithm using third-order algebraic methods /
Steggles, L. J.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2003.
Caption title.