@misc{9448,
  author = {Jo Hannay},
  title = {Abstraction Barriers in Equational Proof},
  year = {1998},
  journal = {Algebraic Methodology and Software Technology, Proceedings of AMAST{\textquoteright}98, Aria{\'u}, Amazonas, Brasil, LNCS volume 1548},
  pages = {196-213},
  publisher = {Springer-Verlag},
}