Der Henzendorfer See - ein Kleinod unter den Seen des Kreises - Richter, Erich (Heimatkalender für den Stadt- und Landkreis Eisenhüttenstadt, 1987)