Glindtvad, Karin, and Hanne Riis Nielson. 1991. “Correctness Preserving Transformations on a Multipass Occam Compiler”. DAIMI Report Series 20 (368). https://doi.org/10.7146/dpb.v20i368.6600.