Martins M, Madeira A, Barbosa LS.? 2009.??Refinement by interpretation in a general setting. International Workshop in Refinements 2009. 259:105-121.