Specification and verification of systolic arrays - Ling, Nam, 1956- (World Scientific, 1999)