Shape analysis in a functional language by using regular languages | Publicación