Glindtvad K, Nielson HR. Correctness Preserving Transformations on a Multipass Occam Compiler. DPB [Internet]. 1991 Oct. 1 [cited 2024 Sep. 27];20(368). Available from: https://tidsskrift.dk/daimipb/article/view/6600