OpenMP Tasking Model for Ada: Safety and Correctness

Book Chapter 2017