Marc Gengler Matthieu Martel Self-Applicable Partial Evaluation for the pi-Calculus. 36-46 1997 PEPM db/conf/pepm/pepm97.html#GenglerM97 http://doi.acm.org/10.1145/258993.259000