Accurate Shape Analysis for Recursive Data Structures | Publicación