"Certified Reasoning in Memory Hierarchies."

Gilles Barthe, César Kunz, Jorge Luis Sacchini (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics