https://5dok.net/document/yj7m251m-executable-theory-multi-agent-systems-refinement-aştefănoaei-l.html