An Algebraic Definition of Simulation Between Programs. AIM-142.

purl.stanford.edu/pt852hh7476