Formal verification of systolic networks using theorem proving techniques (abstract only). - David Y. Y. Yun; Y. Yun; Chang Nian Zhang (ACM Conference on Computer Science, 1987)