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