Martins M, Madeira A, Barbosa LS.? 2009.??Refinement via interpretation. 7th IEEE International Conference on Software Engineering and Formal Methods - SEFM  . :250?259.