Tchier, F. 2013. Nondeterministic Relational Semantics of a while Program. JOURNAL OF ADVANCES IN MATHEMATICS. 3, 3 (Oct. 2013), 242–260. DOI:https://doi.org/10.24297/jam.v3i3.7222.