Практикум по формальной спецификации программ на языке RSL: учебное пособие. М.: Издательский отдел факультета ВМК МГУ имкнига