Sergio Antoy Michael Hanus Concurrent distinct choices. 657-668 2004 14 J. Funct. Program. 6 http://dx.doi.org/10.1017/S095679680400509X db/journals/jfp/jfp14.html#AntoyH04