Equating Simulation with Refinement - He, J; Hoare, T; Fournet, C; Gardiner, P; Rajamani, S; Rehof, J; Roscoe, B (2003)