"Locality-Based Abstractions."

Javier Esparza, Pierre Ganty, Stefan Schwoon (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics