"Multimodal Separation Logic for Reasoning About Operational Semantics."

Robert Dockins, Andrew W. Appel, Aquinas Hobor (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics