A calculus of mobile processes. I
scientific article; zbMATH DE number 89990