Type inheritance and relational theory subtypes, supertypes, and substitutability : inheritance in The third manifesto - Date, Chris J. 1941- (O'Reilly Media, 2016)