A formal model of non-determinate dataflow computation (1983)

by J D Brock