Text this: A Logical Basis for Component-Oriented Software and Systems Engineering.