Formal Methods in Musicology - Models and Computation by Francis Knights