Vgl. Paul Zimmermann: Koch, Heinrich Andreas. In: Allgemeine Deutsche Biographie (ADB). Band 16, Duncker & Humblot, Leipzig 1882, S. 380.; Dieter Lent: Koch, Heinrich Andreas, in: Horst-RĂ¼diger Jarck, Dieter Lent et al. (Hrsg.): Braunschweigisches Biographisches Lexikon: 8. bis 18. Jahrhundert. Braunschweig 2006, S. 404.