. . . . . . . . . . "Correctness influenced design of parallel programming languages" . "Correctness influenced design of parallel programming languages"@en . . . . . . . . . . .