Fatma Mili, Ali Mili. Heuristics for Constructing While Loops. Science of Computer Programming, 18(1):67-106, 1992.
@article{MiliM92, title = {Heuristics for Constructing While Loops}, author = {Fatma Mili and Ali Mili}, year = {1992}, researchr = {https://researchr.org/publication/MiliM92}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {18}, number = {1}, pages = {67-106}, }