@inproceedings{MRS:99,
  author = {M. Marz and A. Rohr and T. Streicher},
  publisher = {IEEE Computer Soc},
  pages = {174-182},
  title = {Full abstraction and universality via realisability},
  booktitle = {Proceedings of {LICS}'99},
  year = {1999},
}