"Variables as Resource in Hoare Logics."

Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics