Andrews, G. "An Overview of the SR Language and Implementation",
(1988)
Languages mentioned
SR
{1988} Synchronizing Resources - concurrent programming language