Carl A. Gunter. Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. In POPL. pages 306-319, 1990.
@inproceedings{Gunter90, title = {Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs}, author = {Carl A. Gunter}, year = {1990}, researchr = {https://researchr.org/publication/Gunter90}, cites = {0}, citedby = {0}, pages = {306-319}, booktitle = {POPL}, }