A Logical Basis for Component-Oriented Software and Systems Engineering. - Broy, Manfred (Computer Journal, 2010)