Librorum in bibliotheca speculae Pulcovensis contentorum catalogus systematicus - Lindemann, Eduard (1880)