A formal semantics of parallel features of Fortran 95. - N. K. Reid (2003)