@book{deploy256,
          editor = {Cliff B Jones and A W Roscoe and Ken Wood},
           title = {Reflections on the work of C.A.R. Hoare},
       publisher = {Springer},
            year = {2010},
             url = {http://deploy-eprints.ecs.soton.ac.uk/256/}
}

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