The regular ring of a finite AW\(^*\)-algebra
scientific article; zbMATH DE number 3139167