Формальная спецификация программ на языке RSL : Конспект лекцийКузьменкова, Евгения Анатольевна2001107 с.