Pierce at al. (1993)
Pierce B.C., Remy D. and Turner D.N. (1993)
A typed higher-order programming language based on the pi-calculus
Report University of Edinburgh (available at ftp://ftp.dcs.ed.ac.uk:pub/bcp/pilang.ps)