"Matching logic: a new program verification approach."

Grigore Rosu, Andrei Stefanescu (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics