"Modular reasoning about concurrent higher-order imperative programs."

Lars Birkedal (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics