Nested Hoare Triples and Frame Rules for Higher-order Store (Logical Methods in Computer Science, 2011)