Systematic database of Musca names (Diptera): a catalog of names associated with the genus-group name Musca Linnaeus, with information on their classification, distribution, and documentationPublished in Theses zoologicae, in 1993, in volume 20, pages 1-219