TY  - RPRT
TI  - Modelling and Refinement in CODA
AU  - Michael Butler
AU  - John Colley
AU  - Andrew Edmunds
AU  - Colin Snook
AU  - Neil Evans
AU  - Neil Grant
AU  - Helen Marshall
PY  - 2013
DO  - 10.4204/eptcs.115.3
UR  - https://arxiv.org/abs/1305.6112
ID  - 1305.6112
ER  -