Why blockchain and smart contracts need semantic descriptions. - Zoran Skoda (CoRR, 2021)