A technique for recursive invariance detection and selective program specialization | Publicación