https://9dok.net/document/qmjr9kj9-eine-operationelle-semantik.html