Non-determinism in a functional setting | IEEE Conference Publication | IEEE Xplore