@Article{Berger99,
  author = 	 {Ulrich Berger},
  title = 	 {Density Theorems for the Domains-with-Totality Semantics 
                  of Dependent Types},
  journal = 	 {Applied Categorical Structures},
  year = 	 1999,
  volume =	 7,
  pages =	 {3--30}
}