"Algebras for Program Correctness in Isabelle/HOL."

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics