Шалак В. И. Слабое отношение следования между $\lambda$-термами // Логические исследования / Logical Investigations. 2018. Т. 24. № 2. C. 151-157.