%A C. B. Jones
%T The role of auxiliary variables in the formal development of concurrent programs
%D 2010
%I Springer
%P 167-188
%L deploy255
%B Reflections on the work of C.A.R. Hoare

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