Conference paperGlobal value numbers and redundant computationsBarry K. Rosen, Mark N. Wegman, et al.POPL 1988
PaperTransformations of structures: An algebraic approachHartmut Ehrig, Hans-Jörg Kreowski, et al.Mathematical Systems Theory