@Article{alti:jcats07,
  author =	 {Peter Morris and Thorsten Altenkirch and Neil Ghani},
  title =	 {A Universe of Strictly Positive Families},
  journal={International Journal of Foundations of Computer Science},
  volume={20},
  number={1},
  pages={83--107},
  year={2009},
}