формализация

http://libmeta.ru/resource/imt/kw_322944383