Regiomontanus : his life and work - Zinner, Ernst, 1886- (Studies in the history and philosophy of mathematics, 1990)