Polyakov, A., 		Nigodin, E., 		Polupanova, E., & 		Usov, P.
2022 Mar 31.  Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal. Современные информационные технологии и ИТ-образование. [Онлайн] 18:1