@Article{SCI:Cha2023a,
  author =    "B. Charoenwong and R.M. Kirby and J. Reiter",
  title =     "Computer Science Abstractions To Help Reason About
              Decentralized Stablecoin Design",
  journal =   "IEEE Access",
  year =      "2023",
  publisher = "IEEE",
  url =       "http://www.sci.utah.edu/publications/Cha2023a/Decentralized_Stablecoin_Design.pdf",
}