Girion , F. : Quadratura eireuli demonstrata.