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