@misc{sozeau:Coq/FingerTrees/web,
  author = {Anonymous},
  title = {Dependent Finger Trees in {C}oq},
  year = {2007}
}
%  url= {\anon{http://www.lri.fr/~sozeau/research/russell/fingertrees.en.html}}

@article{sozeau:Coq/Russell/article,
  author = {Matthieu Sozeau},
  title = {Subset Coercions in {C}oq},
  year = {2006},
  note = {Accepted for TYPES'06 post-proceedings}
}
% url = {http://www.lri.fr/~sozeau/research/russell/article.pdf}