A calculus of individuals based on 'connection'
scientific article; zbMATH DE number 3683556