Sabelfeld V., Sabelfeld A. Simple semantic analysis problems for functional programs // Computer Science. — 1996. — # 5 — P. 43-53
