Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP | Publicación