On the correctness of modular systems
scientific article; zbMATH DE number 985889
scientific article