The Isabelle Collections Framework (2010)

by P Lammich, A Lochbihler
Venue:Interactive Theorem Proving, volume 6172 of Lecture Notes in Computer Science