Compostional Relational Semantics for Indeterminate Dataflow Networks.

Eugene W. Stark Compostional Relational Semantics for Indeterminate Dataflow Networks. 52-74 1989 conf/ctcs/1989 Category Theory and Computer Science db/conf/ctcs/ctcs89.html#Stark89