@techreport{deploy283,
          number = {CS-TR-1185},
           month = {January},
          author = {C. B. Jones and K. G. Pierce},
           title = {What Can the pi-calculus Tell Us About the Mondex Purse System?},
            type = {Technical Report},
       publisher = {Newcastle University },
     institution = {Newcastle University},
            year = {2010},
             url = {http://deploy-eprints.ecs.soton.ac.uk/283/}
}

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