https://9lib.net/document/7q0x543q-formalizing-specification-execution-workflows-using-event-calculus.html