@inproceedings{Dennis:2000:PT,
  title = "The {PROSPER} Toolkit",
  author = "Louise A. Dennis and Graham Collins and Michael Norrish and Richard Boulton and Konrad Slind and Graham Robinson and Mike Gordon and Tom Melham",
  year = "2000",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, {TACAS} 2000: Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2000: {B}erlin, {G}ermany, {M}arch 25 -- {A}pril 2, 2000: {P}roceedings",
  editor = "Susanne Graf and Michael Schwartzbach",
  isbn = "3-540-67282-6",
  issn = "0302-9743",
  pages = "78--92",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Dennis-2000-PT.pdf",
  volume = "1785",
}