Equating Simulation with Refinement (2003)

(untitled) - He, J; Hoare, T; Fournet, C; Gardiner, P; Rajamani, S; Rehof, J; Roscoe, B