https://9pdf.org/document/zwvw0967-view-action-semantics-concurrent-programming-languages.html