Normal extensions of formally normal operators
scientific article; zbMATH DE number 3155788