@incollection{deploy274,
          number = {4171},
          author = {Cliff B. Jones},
          series = {Lecture Notes in Computer Science},
       booktitle = {Verified Software: Theories, Tools, Experiments},
           title = {Some interdisciplinary observations about getting the ``right'' specification},
       publisher = {Springer},
           pages = {64--69},
            year = {2008},
             url = {http://deploy-eprints.ecs.soton.ac.uk/274/}
}

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