Reference:

Javier Esparza, Pierre Ganty, and Stefan Schwoon. Locality-based abstractions. In Proceedings of SAS 2005, volume 3672 of Lecture Notes in Computer Science, pages 118–134, 2005.

Suggested BibTeX entry:

@inproceedings{EGS05,
    author = {Javier Esparza and Pierre Ganty and Stefan Schwoon},
    booktitle = {Proceedings of SAS 2005},
    pages = {118--134},
    series = {Lecture Notes in Computer Science},
    title = {Locality-based Abstractions},
    volume = {3672},
    year = {2005}
}