@mastersthesis{Knec18,
	address = {Zürich, Switzerland},
	author = {Knecht, Markus},
	organization = {Informatics},
	institution = {Universität Zürich},
	month = {jan},
	title = {Mandala: A Smart Contract Programming Language},
	year = {2018}
}