Complete Formal Specification of the OpenMP Memory Model. - Bronevetsky, Greg; Supinski, Bronis (International Journal of Parallel Programming, 2007)