Congruence formats for weak readiness equivalence and weak possible future equivalence - Huang, Xiaowei.