A formal approach to designing a class-subclass structure using a partial-order on the functions | IEEE Conference Publication | IEEE Xplore