Manfred Broy. A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J., 53(10):1758-1782, 2010. [doi]
@article{Broy10-1, title = {A Logical Basis for Component-Oriented Software and Systems Engineering}, author = {Manfred Broy}, year = {2010}, doi = {10.1093/comjnl/bxq005}, url = {http://dx.doi.org/10.1093/comjnl/bxq005}, tags = {software components, software component, software engineering}, researchr = {https://researchr.org/publication/Broy10-1}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {53}, number = {10}, pages = {1758-1782}, }