Gilles Muller Eugen-Nicolae Volanschi Renaud Marlet Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. 116-126 1997 PEPM db/conf/pepm/pepm97.html#MullerVM97 http://doi.acm.org/10.1145/258993.259010