Kouzmin E., Shilov N., Sokolov V. Model checking μ-calculus in well-structured transition systems // Computer Science. — 2004. — # 20 — P. 49-59
