Automatic synthesis of specifications for first order curry programs | Publicación