The constructive theory of KT-modules
scientific article; zbMATH DE number 3477143