Haskore Music Notation - An Algebra of Music. - Paul Hudak; Tom Makucevich; Syam Gadde; Bo Whong (J. Funct. Program., 1996)