Michael G. Main, David L. Black: Semantic Models for Total Correctness and Fairness. Theor. Comput. Sci. 107(2): 305-332 (1993)