https://123dok.org/document/6zk84oez-formalizing-languages-for-service-oriented-computing.html