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