K. Glindtvad and H. R. Nielson, “Correctness Preserving Transformations on a Multipass Occam Compiler”, DPB, vol. 20, no. 368, Oct. 1991.