@inproceedings{dunstan1998lightweight,
  title = "Lightweight formal methods for computer algebra systems",
  author = "Dunstan, Martin and Kelsey, Tom and Linton, Steve and Martin, Ursula",
  year = "1998",
  booktitle = "Proceedings of the 1998 international symposium on Symbolic and algebraic computation",
  organization = "ACM",
  pages = "80--87",
}