https://123dok.net/document/yd7lngp1-semantics-calculi-and-analysis-for-object-oriented-specifications.html