Navarro, Orejas, Sánchez, 1995. On the correctness of modular systems 140.. https://doi.org/10.1016/0304-3975(94)00207-y