Nondiscrete induction and iterative processes - Potra, Florian A.; Pták, Vlastimil 1925- (Pitman, 1984)