%A Cliff B Jones
%T The role of auxiliary variables in the formal development of concurrent programs.
%C Newcastle upon Tyne 
%D 2009
%I Newcastle University 
%R CS-TR-1179
%L deploy185

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>