Tchier, Fairouz. “Nondeterministic Relational Semantics of a While Program”. JOURNAL OF ADVANCES IN MATHEMATICS 3, no. 3 (October 31, 2013): 242–260. Accessed July 22, 2024. https://rajpub.com/index.php/jam/article/view/7222.