Object-oriented specifications: set-theoty based and algebraic approachesСеношенко, Кирилл О.200239 с.