@inproceedings{Aitken:1996:PMI,
  author = "J. S. Aitken and P. Gray and T. Melham and M. Thomas",
  booktitle = "User Interfaces for Theorem Provers: An International Workshop organised at the {D}epartment of {C}omputer {S}cience, {U}niversity of {Y}ork: 19th {J}uly 1996",
  editor = "Nicholas A. Merriam",
  pages = "1--8",
  publisher = "University of York",
  title = "Phases, Modes and Information Flow in Theory Development",
  year = "1996",
}