150 Jahre Julius Grieneisen : 1830 - 1980 ([Selbstverlag], 1980)