Васильева А. И. Использование приемов формализации при разработке официального сайта центральной библиотеки субъекта федерации