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