"Shape Analysis by Predicate Abstraction."

Ittai Balaban, Amir Pnueli, Lenore D. Zuck (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics