José-Luis Vivas Mads Dam From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. 115-130 http://link.springer.de/link/service/series/0558/bibs/1466/14660115.htm 1998 conf/concur/1998 CONCUR db/conf/concur/concur1998.html#VivasD98