Martins M, Madeira A, Barbosa LS.? 2009.??Refinement by Interpretation in a General Setting. Electronic Notes in Theoretical Computer Science. 259:105-121.