Isabelle/DOF: Design and Implementation.

Achim D. Brucker, Burkhart Wolff

Browse the full SEFM paper archive.