@inproceedings{Aitken:1995:IPD,
  author = "Stuart Aitken and Philip Gray and Tom Melham and Muffy Thomas",
  booktitle = "User Interface Design for Theorem Proving Systems: An International Workshop organised by the {ITP} Project",
  editor = "Philip Gray",
  publisher = "Department of Computing Science, University of Glasgow",
  title = "Interactive Proof Discovery: An Empirical Study of {HOL} Users",
  url = "http://www.comlab.ox.ac.uk/tom.melham/pub/Aitken-1995-IPD.pdf",
  year = "1995",
}