Kleymenov A., Petunin D., Semenov A., Vazhev I. A model of cooperative solvers for computational problems // Computer Science. — 2001. — # 16 — P. 115-127