255	  Jones, C. B.  (2010) The role of auxiliary variables in the formal development of concurrent programs.   In:  Reflections on the work of C.A.R. Hoare.   Springer, pp. 167-188.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>