@Misc{            cryptoeprint:2018:122,
  Author        = "Bartoletti, Massimo and Zunino, Roberto",
  date-added    = "2018-04-22 16:11:51 +0000",
  date-modified = "2018-04-22 16:11:51 +0000",
  HowPublished  = "Cryptology ePrint Archive, Report 2018/122",
  Note          = "\url{https://eprint.iacr.org/2018/122}",
  Title         = "BitML: a calculus for Bitcoin smart contracts",
  Year          = "2018",
  File          = "122 (0) - a - a - f.pdf"
}

@Misc{ cryptoeprint:2018:122, Author = "Bartoletti, Massimo and Zunino, Roberto", date-added = "2018-04-22 16:11:51 +0000", date-modified = "2018-04-22 16:11:51 +0000", HowPublished = "Cryptology ePrint Archive, Report 2018/122", Note = "\url{https://eprint.iacr.org/2018/122}", Title = "BitML: a calculus for Bitcoin smart contracts", Year = "2018", File = "122 (0) - a - a - f.pdf" }