"185","The role of auxiliary variables in the formal development of concurrent programs.","","http://deploy-eprints.ecs.soton.ac.uk/185/","Jones, Cliff B","UNSPECIFIED","       <span class=\"person_name\">Jones, Cliff B</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/185/\"><em>The role of auxiliary variables in the formal development of concurrent programs.</em></a>       Technical Report.     Newcastle University , Newcastle upon Tyne .           ","Cliff.Jones@ncl.ac.uk","2009"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>