Glindtvad, K., & Nielson, H. R. (1991). Correctness Preserving Transformations on a Multipass Occam Compiler. DAIMI Report Series, 20(368). https://doi.org/10.7146/dpb.v20i368.6600