Polyakov, A., 		Nigodin, E., 		Polupanova, E., & 		Usov, P.
(2022).
 Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal.
<em>Современные информационные технологии и ИТ-образование, 18</em>(1), 54-61.
doi:10.25559/SITITO.18.202201.54-61