Polyakov, Aleksey, Elisey Alekseevich Nigodin, Elena Evgenievna Polupanova, & Pavel Evgenievich Usov. " Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal." Современные информационные технологии и ИТ-образование [Онлайн], 18.1 (2022): 54-61. Веб. 29 Mar. 2024