Musical sources are referred to here as conversationally as is practical, whether by nicknames, RISM numbers, or (most often) city-name-plus-shelfmark. Following is a key to these sources and their full titles.