"Higher-Order Separation Logic in Isabelle/HOLCF."

Carsten Varming, Lars Birkedal (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics