HMSL (Hierarchical Music Specification Language): a theoretical overview. With Polansky, L. & Burk, P., lead authors