Гусев, А. А. Рефал-сервер. ЭБ 2020, 23, 697-707.