A demand driven computation strategy for lazy narrowing | Publicación