Operating Systems Programming: The SR Programming Language ~ Hartley, Stephen J.