@Inproceedings{EPTCS115.3, author = {Butler, Michael and Colley, John and Edmunds, Andrew and Snook, Colin and Evans, Neil and Grant, Neil and Marshall, Helen}, year = {2013}, title = {Modelling and Refinement in CODA}, editor = {Derrick, John and Boiten, Eerke and Reeves, Steve}, booktitle = {{\rm Proceedings 16th International} Refinement Workshop, {\rm Turku, Finland, 11th June 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {115}, publisher = {Open Publishing Association}, pages = {36-51}, doi = {10.4204/EPTCS.115.3}, }