Java Threads in the Light of occam/CSP - Welch, Peter H.; Bakkers, A.W.P.; Welch, Peter H.; Bakkers, A.W.P. (1998)