Bernhard Reus Thomas Streicher About Hoare Logics for Higher-Order Store. 1337-1348 2005 conf/icalp/2005 ICALP http://dx.doi.org/10.1007/11523468_108 db/conf/icalp/icalp2005.html#ReusS05