Debray, 1992. Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog primitives, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-56282-6_8