A formal model for data flow programs with token coloring / A.H. Veen
A formal model for data flow programs with token coloring