Chen, Y. (2003). A fixpoint theory for non-monotonic parallelism. Theoretical Computer Science, 308(1-3), 367-392. https://doi.org/10.1016/s0304-3975%2802%2900893-9