@inproceedings{JMS:91,
  publisher = {Springer},
  author = {B. Jacobs and E. Moggi and T. Streicher},
  pages = {197-218},
  title = {Relating models of impredicative type theories.},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proceedings of {CTCS}'91},
  volume = {530},
  year = {1991},
}