Mark van den Berg's PhD thesis, Aspects of a Formal Theory of Music Cognition (1996), is now available as a pdf file.

See the Delta Framework page for an implementation of many of the concepts discussed in the PhD thesis.