A Declarative Approach to Concurrent Programming.

Steve Gregory A Declarative Approach to Concurrent Programming. 79-93 1997 conf/plilp/1997 PLILP db/conf/plilp/plilp97.html#Gregory97 http://dx.doi.org/10.1007/BFb0033838