Формальная спецификация программ на языке RSL: конспект лекцийкнига