SoftwareEngineering: Human abstractness may make smart contracts smarter, researchers report