Шилов Н.В. О логических и алгебраических основаниях классификации формальной семантики программ // № 6, 2015
