А. А. Гусев, «Рефал-сервер», ЭБ, т. 23, вып. 4, сс. 697-707, май 2020.