Markus Knecht, Burkhard Stiller: Smart Contracts with a Static Upper-bound on Resource Usage; 19th IEEE International Conference on Trust, Security, and Privacy in Computing and Communications, "(TrustCom 2020)", Guangzhou, China, December 2020, pp 1926-1934. doi:10.1109/TrustCom50675.2020.00263 URL: https://doi.org/10.1109/TrustCom50675.2020.00263.