Capture-avoiding substitution as a nominal algebra
scientific article; zbMATH DE number 5314956
scientific article