TY  - RPRT
TI  - Refinement by interpretation in π-institutions
AU  - César Rodrigues
AU  - Manuel A. Martins
AU  - Alexandre Madeira
AU  - Luis S. Barbosa
PY  - 2011
DO  - 10.4204/eptcs.55.4
UR  - https://arxiv.org/abs/1106.4093
ID  - 1106.4093
ER  -