C. A. R. Hoare. Fixed Points of Increasing Functions. Inf. Process. Lett., 34(3):111-112, 1990.
@article{Hoare90:1, title = {Fixed Points of Increasing Functions}, author = {C. A. R. Hoare}, year = {1990}, tags = {C++}, researchr = {https://researchr.org/publication/Hoare90%3A1}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {34}, number = {3}, pages = {111-112}, }