@inproceedings{ReSt:97,
  volume = {1290},
  year = {1997},
  booktitle = {Proceedings of {CTCS}'96},
  series = {Lecture Notes in Computer Science},
  title = {General synthetic domain theory---a logical approach (extended
           abstract)},
  pages = {293-313},
  author = {B. Reus and T. Streicher},
  publisher = {Springer},
}