@Article{Lam09, Author = "Lammich, P.", Year = "2009", Title = "{Collections Framework}", Journal = "Archive of Formal Proofs", Note = "http://isa-afp.org/entries/Collections.shtml", Comment = "TPTPRef" }