@article{deploy38,
          volume = {20},
          number = {1},
           month = {January},
          author = {Michael Butler and Divakar Yadav},
           title = {An Incremental Development of the Mondex System in Event-B},
       publisher = {Springer},
            year = {2008},
         journal = {Formal Aspects of Computing},
           pages = {61--77},
             url = {http://deploy-eprints.ecs.soton.ac.uk/38/}
}

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