The formal derivation of distributed programs from systolic arrays | IEEE Conference Publication | IEEE Xplore