Greg Bronevetsky Bronis R. de Supinski Complete Formal Specification of the OpenMP Memory Model. 335-392 2007 35 International Journal of Parallel Programming 4 http://dx.doi.org/10.1007/s10766-007-0051-4 db/journals/ijpp/ijpp35.html#BronevetskyS07