Termination in higher-order concurrent calculi
scientific article; zbMATH DE number 5804233