@incollection{Aitken:1995:SUA,
  title = "A Study Of User Activity In Interactive Theorem Proving",
  author = "Stuart Aitken and Philip Gray and Tom Melham and Muffy Thomas",
  year = "1995",
  booktitle = "Task Centred Approaches To Interface Design: Glasgow Interactive Systems Group Research Review",
  editor = "Chris Johnson",
  month = "August",
  note = "GIST Technical Report G95.2",
  pages = "195--218",
  publisher = "Department of Computing Science, University of Glasgow",
}