An Equational Language for Data-Parallelism. - Pushpa Rao; Clifford Walinsky (PPoPP, 1993)