Kouzmin E., Shilov N., Sokolov V. Model checking μ-calculus in well-structured transition systems // Computer Science. — 2004. — # 20 — P. 49-59
Badin N., Brodskiy G., Sokolov V. A recursive parallel programming language and its application to algebraic computations // Computer Science. — 1999. — # 11 — P. 1-14
