Votintseva A., Yakovlev A. Algebraic specifications for dataflow computations design // Computer Science. — 2000. — # 13 — P. 88-104