Charlton, N.; Reus, B. A Decidable Class of Verification Conditions for Programs With Higher Order Store. eceasst 2009, 23.