Advanced techniques in the plutus smart contract language - View it on GitHub