"255","The role of auxiliary variables in the formal development of concurrent programs","","http://deploy-eprints.ecs.soton.ac.uk/255/","Jones, C. B.","UNSPECIFIED","       <span class=\"person_name\">Jones, C. B.</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/255/\"><em>The role of auxiliary variables in the formal development of concurrent programs.</em></a>              In:         Reflections on the work of C.A.R. Hoare.               Springer, pp. 167-188.                ","","2010"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>