https://1library.org/document/zx2vwwwq-session-types-for-functional-multithreading.html