Semantic Models for Total Correctness and Fairness. - Michael G. Main; David L. Black 002 (Theor. Comput. Sci., 1993)