A denotational semantics of textually aligned SPMD programs
scientific article; zbMATH DE number 7138310