Hu, Takeichi, Chin, 1998. Parallelization in calculational forms, in: . ACM Press.. https://doi.org/10.1145/268946.268972