Data Parallel C++ James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems Michael G. Hinchey, James L. Rash, Christopher A Rouff