Formalizing Fado: A Contribution to Automatic Song-Making. (1st March 2017)