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