The abstract variable-binding calculus
scientific article; zbMATH DE number 795270
scientific article