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