"Matching Logic: An Alternative to Hoare/Floyd Logic."

Grigore Rosu, Chucky Ellison, Wolfram Schulte (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics