S : An implicitly parallel -calculus with letrec, synchronization and side-effects (1997)

by J-W Maessen Arvind, R S Nikhil, J E Stoy