The processor identity problem
scientific article; zbMATH DE number 4155845