A comparison between Jason and F# programming languages for the enactment of business agents | IEEE Conference Publication | IEEE Xplore