"Abstraction and Refinement for Local Reasoning."

Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics