@misc{9450,
  author = {Jo Hannay},
  title = {Specification Refinement With System F},
  year = {1999},
  journal = {Computer Science Logic, Proceedings of CSL{\textquoteright}99, Madrid, Spain, LNCS volume 1683},
  pages = {530-545},
  publisher = {Springer-Verlag},
}