A first order theory of functional parthood
scientific article; zbMATH DE number 5146242