Axel Dold Friedrich W. von Henke Holger Pfeifer Harald Rueß Formal Verification of Transformations for Peephole Optimization. 459-472 1997 conf/fm/1997 FME db/conf/fm/fme1997.html#DoldHPR97 https://doi.org/10.1007/3-540-63533-5_24