Olsson, R.A. et al, "SuccessoR: Refinements to SR", TR 84-3, U Arizona 1984.
(1984)
Languages mentioned
SR
{1988} Synchronizing Resources - concurrent programming language
SuccessoR
{1984}