Autostability and computable families of constructivizations
scientific article; zbMATH DE number 3593547