1. Formal specification of constant product market maker model & implementation (2018). https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf
2. Improving frontrunning resistance of x*y=k market makers (2018). https://ethresear.ch/t/improving-front-running-resistance-of-x-y-k-market-makers/1281
3. Balancer whitepaper (2019). https://balancer.finance/whitepaper/
4. Curve statistics (2020). https://www.curve.fi/dailystats
5. Curve (2020). https://www.curve.fi