A logical analysis of aliasing in imperative higher-order functions | Publicación