Paul Hudak Tom Makucevich Syam Gadde Bo Whong Haskore Music Notation - An Algebra of Music. 465-483 1996 6 J. Funct. Program. 3 db/journals/jfp/jfp6.html#HudakMGW96