On the correctness of modular systems | Publicación