@Misc{alti:ydtm,
  author =	 {Thorsten Altenkirch and Conor McBride and James McKinna},
  title =	 {Why Dependent Types Matter},
  howpublished = {Manuscript, available online},
  month =	 {April},
  year =	 {2005},
}