"Quantitative Separation Logic and Programs with Lists."

Marius Bozga, Radu Iosif, Swann Perarnau (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics