Operating systems programming : The SR programming Language - Hartley, Stephen J. (Oxford University Press, 1995)