TY  - RPRT
TI  - Perspicuity and Granularity in Refinement
AU  - Eerke Boiten
PY  - 2011
DO  - 10.4204/eptcs.55.10
UR  - https://arxiv.org/abs/1106.4099
ID  - 1106.4099
ER  -