Andrew Birrell Greg Nelson Susan S. Owicki Edward Wobber Network Objects S4/87-S4/130 1995 25 Softw., Pract. Exper. S4 db/journals/spe/spe25.html#BirrellNOW95