Markus Knecht: Mandala: A Smart Contract Programming Language; Universität Zürich, Informatics, Zürich, Switzerland, January 2018.