agda/notes/papers/iird/iird.bib

@Misc{paulin:mail,
  author       = {Christine Paulin-Mohring},
  howpublished = {Personal communication},
  year	       = 2006
}

@Misc{norell:iird-formal,
  author  = {Ulf Norell},
  howpublished = {{\tt http://www.cs.chalmers.se/\~{}ulfn/papers/iird/index.html}}
}