https://1library.net/document/zx5ddlvq-a-persistent-functional-language-for-concurrent-transaction-processing.html