@misc{9451,
  author = {Jo Hannay},
  title = {A Higher-Order Simulation Relation for System F},
  year = {2000},
  journal = {Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784},
  pages = {130-145},
  publisher = {Springer-Verlag},
}