Polyakov, Aleksey, 		Nigodin, Elisey, 		Polupanova, Elena, AND 		Usov, Pavel.
" Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal" <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], Том 18 Номер 1 (31 March 2022)