Markus Knecht: Mandala: A Smart Contract Programming Language; arXiv, abs/1911.11376, Cornell University, USA, March 2021, URL: http://arxiv.org/abs/1911.11376.