Parallelization in calculational forms (1998)

by Z Hu, M Takeichi, W N Chin
Venue:In 25th ACM Symposium on Principles of Programming Languages (POPL ’98