The Isabelle collections framework (2010)

by P Lammich, A Lochbihler
Venue:In Proc. ITP’10, volume 6172 of LNCS