A denotational semantics of textually aligned SPMD programs - Dabrowski, Frédéric (Journal of logical and algebraic methods in programming, 2019)