Tchier, Fairouz. 2013. “Nondeterministic Relational Semantics of a While Program”. JOURNAL OF ADVANCES IN MATHEMATICS 3 (3):242-60. https://doi.org/10.24297/jam.v3i3.7222.