Isomorphisms of types in the presence of higher-order references (extended version) (Logical Methods in Computer Science, 2012)