A theory of state-based parallel programming. - Xu Qiwen (1992)