@Article{BerlineGrue97,
  author       = {C. Berline and K. Grue},
  year         = {1997},
  title        = {A kappa-denotational semantics for {M}ap {T}heory in
                  {ZFC+SI}},
  journal      = {Theoretical Computer Science},
  volume       = {179},
  number       = {1--2},
  pages        = {137--202},
  month        = jun,
}