Steve Hartley "Operating Systems Programming: The SR Programming Language". OUP 1985
(1985)
Languages mentioned
SR
{1988} Synchronizing Resources - concurrent programming language