@techreport{deploy185,
          number = {CS-TR-1179},
          author = {Cliff B Jones},
         address = {Newcastle upon Tyne },
           title = {The role of auxiliary variables in the formal development of concurrent programs.},
            type = {Technical Report},
       publisher = {Newcastle University },
     institution = {Newcastle University},
            year = {2009},
             url = {http://deploy-eprints.ecs.soton.ac.uk/185/}
}

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