"Reasoning about Hierarchical Storage."

Amal J. Ahmed, Limin Jia, David Walker (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics