Title: Specification of a user interface for programming languages for music