Equating Simulation with Refinement

Jifeng He‚ Tony Hoare‚ Cedric Fournet‚ Paul Gardiner‚ Sriram Rajamani‚ Jakob Rehof and Bill Roscoe