Fixed Points of Increasing Functions
C. A. R. Hoare
Journal
Inf. Process. Lett.
Number
3
Pages
111−112
Volume
34
Year
1990
C. A. R. Hoare