@misc{cryptoeprint:2018:416,
    author = {Nadim Kobeissi and Natalia Kulatova},
    title = {Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers},
    howpublished = {Cryptology ePrint Archive, Report 2018/416},
    year = {2018},
    url = {https://eprint.iacr.org/2018/416},
}