ElMessiry, M., ElMessiry, A., ElMessiry, M.: Dual token blockchain economy framework. In: International Conference on Blockchain, pp. 157–170 (2019). Springer

Gangwal, A., Gangavalli, H.R., Thirupathi, A.: A survey of layer-two blockchain protocols. Journal of Network and Computer Applications 209, 103539 (2023)

Mitchell, J.C.: Concepts in Programming Languages. Cambridge University Press, ??? (2003)

Pierce, B.C.: Types and Programming Languages. MIT press, ??? (2002)

Garay, J.A., Kiayias, A., Leonardos, N., Panagiotakos, G.: Bootstrapping the blockchain, with applications to consensus and fast pki setup. In: Public-Key Cryptography- –PKC 2018: 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II 21, pp. 465–495 (2018). Springer

Lantz, L., Cawrey, D.: Mastering Blockchain. O’Reilly Media, ??? (2020)

Sguanci, C., Spatafora, R., Vergani, A.M.: Layer 2 blockchain scaling: A survey. arXiv preprint arXiv:2107.10881 (2021)

Kiayias, A., Lazos, P.: Sok: blockchain governance. In: Proceedings of the 4th ACM Conference on Advances in Financial Technologies, pp. 61–73 (2022)

Tapscott, D., Tapscott, A.: Blockchain Revolution: How the Technology Behind Bitcoin Is Changing Money, Business, and the World. Penguin, ??? (2016)

Leonardos, S., Reijsbergen, D., Piliouras, G.: Weighted voting on the blockchain: Improving consensus in proof of stake protocols. International Journal of Network Management 30(5), 2093 (2020)

John, K., Rivera, T.J., Saleh, F.: Equilibrium staking levels in a proof-of-stake blockchain. Available at SSRN 3965599 (2021)

Choi, K.J., Jeon, J., Lim, B.H.: Optimal staking and liquid token holding decisions in cryptocurrency markets. Available at SSRN 4528742 (2023)

Kjorveziroski, V., Filiposka, S., Mishev, A.: Evaluating webassembly for orches- trated deployment of serverless functions. In: 2022 30th Telecommunications Forum (TELFOR), pp. 1–4 (2022). 2022.9983733

Tosh, D., Shetty, S., Foytik, P., Kamhoua, C., Njilla, L.: Cloudpos: A proof- of-stake consensus design for blockchain integrated cloud. In: 2018 IEEE 11Th International Conference on Cloud Computing (CLOUD), pp. 302–309 (2018). IEEE

Liu, Y., Lu, Y., Nayak, K., Zhang, F., Zhang, L., Zhao, Y.: Empirical analysis of eip-1559: Transaction fees, waiting times, and consensus security. In: Proceed- ings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, pp. 2099–2113 (2022)

Cai, T., Cai, H., Wang, H., Cheng, X., Wang, L.: Analysis of blockchain system with token-based bookkeeping method. IEEE Access 7, 50823–50832 (2019)

Beck, R., Mu¨ller-Bloch, C., King, J.L.: Governance in the blockchain economy: A framework and research agenda. Journal of the association for information systems 19(10), 1 (2018)

Faria, C., Correia, M.: Blocksim: blockchain simulator. In: 2019 IEEE Interna- tional Conference on Blockchain (Blockchain), pp. 439–446 (2019). IEEE

Memon, R.A., Li, J.P., Ahmed, J.: Simulation model for blockchain systems using queuing theory. Electronics 8(2), 234 (2019)

Lee, J.Y.: A decentralized token economy: How blockchain and cryptocurrency can revolutionize business. Business Horizons 62(6), 773–784 (2019)