Formal and computational model of Adam Smith’s Invisible Hand | IEEE Conference Publication | IEEE Xplore