Title: EVERYMAN'S DICTIONARY OF MUSIC, REVISED