EVERYMAN'S DICTIONARY of music (1946)