A \(\pi\)-calculus with explicit substitutions
scientific article; zbMATH DE number 984228
scientific article