The theory and some applications of Pták's method of non-discrete mathematical induction - Marsh, Terence Anthony (Department of Mathematics and Applied Mathematics, 2016)
Bibliography: p. 79-80.