@inproceedings{dunstan2001maple,
  title = "A maple-pvs interface",
  author = "Dunstan, M and Gottliebsen, H and Kelsey, Tom and Martin, U and Workhop, Calculemus",
  year = "2001",
  booktitle = "Proc. of the Calculemus Symposium 2001",
}