https://9lib.net/document/4yr0mvpy-operator-models-for-hilbert-locally-c-modules.html