@inproceedings{deploy181,
       booktitle = {Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems},
           title = {Abstraction is all we've got: auxiliary variables considered harmful.},
          author = {Cliff B Jones},
            year = {2009},
             url = {http://deploy-eprints.ecs.soton.ac.uk/181/}
}

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