Comment by davidtgoldblatt

Of particular interest is section 20.18 -- "Mirroring memory operands"; extending (something like) register renaming to memory.