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