Chen, Yifeng, "A fixpoint theory for non-monotonic parallelism", Theoretical Computer Science, 2003