Informal characterization of a procedural theory of music, Otto E. Laske