https://1library.net/document/zl23drgq-types-abstract-types-design-abstract-integer-principle-abstraction.html