@inproceedings{BKHEM08,
  author    = {Lukas Bulwahn and
               Alexander Krauss and
               Florian Haftmann and
               Levent Erk{\"o}k and
               John Matthews},
  title     = {Imperative Functional Programming with Isabelle/HOL},
  booktitle = {TPHOLs},
  year      = {2008},
  pages     = {134-149},

  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5170},
  year      = {2008},
}


@techreport{C++STL,
  author = {Alexander Stepanov and Meng Lee},
  title={The Standard Template Library},
  institution = {HP Laboratories},
  year = {1995},
  month = {November},
  number= {95-11(R.1)}
}

@Misc{JavaCollFr,
  title = {Java: The Collections Framework},
  howpublished = {Available on: \url{http://java.sun.com/javase/6/docs/technotes/guides/collections/index.html}}
}

@Misc{tata2007,
  author = {H. Comon and M. Dauchet and R. Gilleron and  C. L\"oding
and F. Jacquemard
and D. Lugiez and S. Tison and M. Tommasi},
  title =    {Tree Automata Techniques and Applications},
  howpublished = {Available on: \url{http://www.grappa.univ-lille3.fr/tata}},
  note = {release October, 12th 2007},
  year =     2007
}

@Misc{TIMBUK,
  author = {T. Genet and V. V. T. Tong},
  title = {Timbuk 2.2},
  howpublished = {Available on: \url{http://www.grappa.univ-lille3.fr/tata}},
}

@InProceedings{BMT05,
  author =       {A. Bouajjani and M. M\"uller-Olm and T. Touili},
  title =        {Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems},
  booktitle =    {Proc. of CONCUR'05},
  volume= {3653},
  series={LNCS},
  year =      {2005},
  publisher = {Springer},
}

@InProceedings{LammichLochbihler2010ITP,
  author = {P. Lammich and A. Lochbihler},
  title = {The {Isabelle} Collections Framework},
  booktitle = {Interactive Theorem Proving},
  series = {Lecture Notes in Computer Science},
  editor = {Kaufmann, Matt and Paulson, Lawrence},
  publisher = {Springer},
  pages = {339--354},
  volume = {6172},
  year = {2010}
}

@incollection{L09_collections,
  author =       {Peter Lammich},
  title =        {Collections Framework},
  booktitle =    {Archive of Formal Proofs},
  editor =       {Gerwin Klein and Tobias Nipkow and Lawrence Paulson},
  publisher =    {\url{http://isa-afp.org/entries/collections.shtml}},
  month =        Dec,
  year =         2009,
  note =         {Formal proof development},
  ISSN =         {2150-914x}
}

@InProceedings{LL10,
  author = {P. Lammich and A. Lochbihler},
  title = {The {Isabelle} Collections Framework},
  booktitle = {Interactive Theorem Proving},
  series = {Lecture Notes in Computer Science},
  editor = {Kaufmann, Matt and Paulson, Lawrence},
  publisher = {Springer},
  pages = {339--354},
  volume = {6172},
  year = {2010}
}
