Jean-Claude Raoult Ravi Sethi The Global Storage Needs of a Subcomputation. 148-157 1984 POPL db/conf/popl/popl84.html#RaoultS84