Glindtvad, K.; Nielson, H. R. Correctness Preserving Transformations on a Multipass Occam Compiler. DPB 1991, 20.