Module checking
scientific article; zbMATH DE number 1853154
scientific article