"Oracle Semantics for Concurrent Separation Logic."

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