The joy of formula manipulation
scientific article; zbMATH DE number 1771791