Constant propagation in explicitly parallel programs - Knoop, Jens (1998)