The pursuit of deadlock freedom - Roscoe, A. W.; Dathi, Naiem (Oxford Univ., 1986)