Refining the Axiomatic Definition of Internal Software Attributes