https://123dok.org/document/y6e9dwgo-object-oriented-software-design-ii-operators-giuseppe-lipari.html