Korovina M., Kudinov O. Background for formalisation of complex systems // Computer Science. — 2000. — # 13 — P. 40-55