# References

Adams, H.  (2020, February).  Uniswap whitepaper.  <https://hackmd.io/@Uniswap/HJ9jLsfTz>

Adams, H., Zinsmeister, N., Robinson, D.  (2020, March).  Uniswap v2 core.  <https://uniswap.org/whitepaper.pdf>

Knightly Crypto.  (2020, March).  Wise token: Trustless and easy interest-bearing crypto.  <https://wisetoken.net/wise-token-white-paper.pdf>

Mushegian, N., Brockman, D., Brockman, M.  (2018, February 6).  Reference implementation of the decentralized DAI stablecoin issuance system.  <https://makerdao.com/purple/>

Oraclize.  (n.d.).  A scalable architecture for on-demand, untrusted delivery of entropy.  Retrieved March 22, 2020, from <https://provable.xyz/papers/random_datasource-rev1.pdf>.

Provable Things.  (n.d.).  Security deep dive.  Provable docs.  Retrieved March 22, 2020, from <https://docs.provable.xyz/#security-deep-dive>

Vogelsteller, F., & Buterin, V.  (2015, November).  EIP-20: ERC-20 token standard.  <https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md>

Wood, G.  (2019, October 20).  Ethereum: A secure decentralized generalised transaction ledger: Byzantium version 7e819ec.  <https://ethereum.github.io/yellowpaper/paper.pdf>

Zhang, Y., Chen, X., & Park, D.  (2018, October).  Formal specification of constant product (x × y = k) market maker model and implementation.  <https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf>