TY  - RPRT
TI  - Proceedings 15th International Refinement Workshop
AU  - John Derrick
AU  - Eerke Boiten
AU  - Steve Reeves
PY  - 2011
DO  - 10.4204/eptcs.55
UR  - https://arxiv.org/abs/1106.3488
ID  - 1106.3488
ER  -