Paulo A. S. Veloso, T. S. E. Maibaum. On the Modularization Theorem for Logical Specifications. Inf. Process. Lett., 53(5):287-293, 1995. [doi]
@article{VelosoM95, title = {On the Modularization Theorem for Logical Specifications}, author = {Paulo A. S. Veloso and T. S. E. Maibaum}, year = {1995}, doi = {10.1016/0020-0190(94)00203-B}, url = {http://dx.doi.org/10.1016/0020-0190(94)00203-B}, tags = {e-science}, researchr = {https://researchr.org/publication/VelosoM95}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {53}, number = {5}, pages = {287-293}, }