https://123dok.net/document/q05gd3xy-the-ofl-model-to-customise-operational-semantics-of-object-oriented-languages-application-to-inter-classes-relationships.html