Describir: The logical structure of modular semantic theories of software systems.