@techreport{Knec19,
	address = {Cornell University, USA},
	author = {Knecht, Markus},
	howpublished = {abs/1911.11376},
	month = {mar},
	publisher = {arXiv},
	title = {Mandala: A Smart Contract Programming Language},
	url = {http://arxiv.org/abs/1911.11376},
	year = {2021}
}