Nondiscrete induction and iterative processes - Potra, Florian A.; Ptak, V. (Pitman, 1984)