A Formal Model of Optimum Currency Areas · Study