A functional presentation of pi calculus
scientific article; zbMATH DE number 5128500