@article{ReSt:99,
  author = {B. Reus and T. Streicher},
  title = {General synthetic domain theory---a logical approach.},
  pages = {121-157},
  volume = {210},
  year = {1999},
  number = {1},
  journal = {Math.~Structures Comput.~Sci.},
}