Derivational Theory of Complexity