The Sisal model of functional programming and its implementation | IEEE Conference Publication | IEEE Xplore