A Generic Specification for Verifying Peephole Optimizations (1995)

by A Dold, F W von Henke, H Pfeifer, H Rue