Bernhard Möller: Building Structured Theories - (Invited Paper). RAMiCS 2011: 1-21