Tumminelli, M, Battle, Steve, "A smart contract model for agent societies", , 2025