Operating systems programming the SR programming language - Hartley, Stephen J. (Oxford University Press, 1995)