Rodrigues C, Martins M, Madeira A, Barbosa LS.? 2011.??Refinement by interpretation in Pi-institutions. Proceedings of 15th International Refinement Workshop - Refine . 55:53-64.