Is there an encyclopedia of record producers or recording studios?

Or record companies?


Or microphones?


Or a dictionary of recording engineering terms?


Or an encyclopedia including most key people is sound production, reproduction.
For example Allan Blumlein, Lee de Forest, E. H. Armstrong...


Or an encyclopedia encompassing very important people in areas related to music. For example:
Composers
Piano manufacturers
Microphone inventors
Synthesizer inventors
Record producers
Electronic engineers

For example
J. S. Bach
Vivaldi
Allan Blumlein
....


An encyclopedia that would include important bands too such as Pink Floyd


An encyclopedia that in order to be kept small would include the most important