Over testable languages
scientific article; zbMATH DE number 984573
scientific article