https://123dok.org/document/yj7vdmx5-session-types-for-access-and-information-flow-control.html