@inproceedings{TechGUIHERA95,
  author = {Andy Gill},
  title = {The technology behind a graphical user interface for an equational reasoning assistant},
  booktitle = {Proceedings of the 1995 Glasgow Workshop on Functional Programming, Electronic Workshops in Computing, Ullapool, Scotland},
  year = {1995},
  abstract = {The Haskell Equational Reasoning Assistant (HERA) is an application written in Haskell that helps users construct and present equational reasoning style proofs. In this paper we discuss the technology behind HERA's graphical user interface.},
  publisher = {Springer-Verlag}
}